|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1973 occurrences of 1272 keywords
|
|
|
Results
Found 2145 publication records. Showing 2145 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Douglas W. Jacobson |
A distributed measurement technique for an operating ethernet network (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 458, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
63 | Peter A. Buhr, Ashif S. Harji |
Implicit-signal monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(6), pp. 1270-1343, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Automatic signal, explicit signal, implicit signal, simulation, parallel, concurrency, monitor |
59 | Youn ah Kang, John T. Stasko |
Lightweight task/application performance using single versus multiple monitors: a comparative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Interface ![In: Proceedings of the Graphics Interface 2008 Conference, May 28-30, 2008, Windsor, Ontario, Canada, pp. 17-24, 2008, ACM Press, 978-1-56881-423-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
evaluation, large display, window management, multiple monitors |
59 | Mark Ashdown, Kenji Oka, Yoichi Sato |
Combining head tracking and mouse input for a GUI on multiple monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1188-1191, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
head tracking, attentive user interface, multiple monitors, gaze-contingent display |
59 | Jean-Francois Collard, Norman P. Jouppi, Sami Yehia |
System-wide performance monitors and their application to the optimization of coherent memory accesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 247-254, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
coherence traffic, performance monitors |
53 | Werner Froidevaux, Stephan Murer, Martin Prater |
The Mainframe as a High-Available, Highly Scalable CORBA Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings, pp. 310-315, 1999, IEEE Computer Society, 0-7695-0290-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
TP monitors, mainframe integration, object transaction monitors, CORBA |
52 | Pavel Avgustinov, Julian Tibble, Oege de Moor |
Making trace monitors feasible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 589-608, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
program analysis, runtime verification, program monitors |
49 | Jay Ligatti, Lujo Bauer, David Walker 0001 |
Enforcing Non-safety Security Policies with Program Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings, pp. 355-373, 2005, Springer, 3-540-28963-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Craig Harvey, Paul A. Strooper |
Testing Java Monitors through Deterministic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia, pp. 61-67, 2001, IEEE Computer Society, 0-7695-1254-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
49 | Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke |
Synchronous IPC over transparent monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, pp. 189-194, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Michael Nicolaidis, Yervant Zorian |
On-Line Testing for VLSI - A Compendium of Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 12(1-2), pp. 7-20, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
fail-safe circuits, SEU hardened circuits, monitoring of reliability indicators, thermal monitors, radiation monitors, on-line testing, self-checking circuits, current monitors |
46 | Felipe Gorostiaga, César Sánchez 0001 |
Nested Monitors: Monitors as Expressions to Build Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 164-183, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
45 | Paul A. Karger |
Securing virtual machine monitors: what is needed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2009, Sydney, Australia, March 10-12, 2009, pp. 1, 2009, ACM, 978-1-60558-394-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
virtual machine monitors, hypervisors, security kernels |
45 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Abstract Interface Behavior of Object-Oriented Languages with Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 218-232, 2006, Springer, 3-540-34893-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics |
45 | Anders Blomdell |
Efficient JavaTM Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 270-276, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
JavaTM, hierarchical resource locking, real-time, monitors, concurrent programming, priority inheritance |
43 | Mahadevan Subramaniam |
Preserving Consistency of Runtime Monitors across Protocol Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 590-599, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Yongping Tang, Yema Liverpool, Thomas E. Daniels |
Monitor placement for stepping stone analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 25th IEEE International Performance Computing and Communications Conference, IPCCC 2006, April 10-12, 2006, Phoenix, Arizona, USA, 2006, IEEE, 1-4244-0198-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Abstract Interface Behavior of Object-Oriented Languages with Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 322-361, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Thread-based concurrency, Observable interface behavior, Monitors, Open systems, Object oriented languages, Formal semantics |
38 | Kevin W. Hamlen, Micah Jones |
Aspect-oriented in-lined reference monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008, pp. 11-20, 2008, ACM, 978-1-59593-936-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
in-lined reference monitors, object-oriented programming, aspect-oriented programming, runtime verification, security automata |
38 | Dugald Ralph Hutchings, John T. Stasko |
mudibo: multiple dialog boxes for multiple monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1471-1474, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dialog box, window management, multiple monitors |
37 | Regan L. Mandryk, Malcolm E. Rodgers, Kori M. Inkpen |
Sticky widgets: pseudo-haptic widget enhancements for multi-monitor displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1621-1624, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
sticky widgets, user interface, interaction technique, multiple monitors, pseudo-haptic |
37 | Per Brinch Hansen |
Multiprocessor Architectures For Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 317-323, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Hierarchical stores, Language-directed computer design, Monitors, Processes, Concurrent programming, Real-time applications, Multiprocessor architecture |
36 | Hugues Chabot, Raphaël Khoury, Nadia Tawbi |
Generating In-Line Monitors for Rabin Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordSec ![In: Identity and Privacy in the Internet Age, 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings, pp. 287-301, 2009, Springer, 978-3-642-04765-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Monitoring Software Safety, Computer Security, Dynamic Analysis |
36 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
On the Expressiveness and Complexity of Randomization in Finite State Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 18-29, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Katell Morin-Allory, Laurent Fesquet, Dominique Borrione |
Asynchronous Assertion Monitors for multi-Clock Domain System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece, pp. 98-102, 2006, IEEE Computer Society, 0-7695-2580-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Ambar A. Gadkari, S. Ramesh 0002 |
Automated Synthesis of Assertion Monitors using Visual Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 390-395, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Kyoungwon Suh, Yang Guo 0001, James F. Kurose, Donald F. Towsley |
Locating network monitors: complexity, heuristics, and coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 351-361, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | William N. Robinson |
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Elisa Bertino, Alessandra Mileo, Alessandro Provetti |
PDL with Maximum Consistency Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, pp. 65-74, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
Design and Implementation of FPGA Circuits for High Speed Network Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings, pp. 393-403, 2002, Springer, 3-540-44108-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multi-way synchronization, concurrent EFSMs, high-level synthesis, design methodology, passive network monitor |
36 | Brad Long, Daniel Hoffman, Paul A. Strooper |
A Concurrency Test Tool for Java Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 421-425, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Michael Factor |
The Process Trellis Architectur for Real-Time Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 147-155, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Xia Zhang, Haijing Pan |
Study on Color Characteristic of Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (6) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 6: Graphic Communication / Other Applications, December 12-14, 2008, Wuhan, China, pp. 264-267, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Benoit Donnet, Bradley Huffaker, Timur Friedman, Kimberly C. Claffy |
Evaluation of a Large-Scale Topology Discovery Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPOM ![In: Autonomic Principles of IP Operations and Management, 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings, pp. 193-204, 2006, Springer, 3-540-47701-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Radu I. Campeanu, John D. McFall |
Colour monitor calibration based on CIE standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 1091-1118, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
32 | Scott Moore, Stephen Chong |
Static Analysis for Efficient Hybrid Information-Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011, pp. 146-160, 2011, IEEE Computer Society, 978-1-61284-644-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
hybrid information-flow monitors, dynamic information-flow monitors, information-flow control |
32 | Ted Huffmire, Brett Brotherton, Nick Callegari, Jonathan Valamehr, Jeff White, Ryan Kastner, Timothy Sherwood |
Designing secure systems on reconfigurable hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(3), pp. 44:1-44:24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
controlled sharing, enforcement mechanisms, security primitives, Field programmable gate arrays (FPGAs), static analysis, advanced encryption standard (AES), security policies, systems-on-a-chip (SoCs), separation, isolation, memory protection, reference monitors, hardware security, execution monitors |
32 | Matthias Hauswirth, Amer Diwan, Peter F. Sweeney, Michael C. Mozer |
Automating vertical profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 281-296, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software performance monitors, whole-system analysis, perturbation, hardware performance monitors, vertical profiling |
32 | Bartomeu Alorda, Vincent Canals, Jaume Segura 0001 |
A Two-Level Power-Grid Model for Transient Current Testing Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 20(5), pp. 543-552, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
current based testing, off-chip current monitors, built-in current monitors, power grid modeling, transient current |
32 | Matthias Hauswirth, Peter F. Sweeney, Amer Diwan, Michael Hind |
Vertical profiling: understanding the behavior of object-priented applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 251-269, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software performance monitors, whole-system analysis, perturbation, hardware performance monitors, vertical profiling |
32 | Bartomeu Alorda, Jaume Segura 0001 |
An Evaluation of Built-in vs. Off-chip Strategies for On-line Transient Current Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece, pp. 178-182, 2003, IEEE Computer Society, 0-7695-1968-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Current based testing, off-chip current monitors, built-in current monitors, power grid modeling, transient current |
31 | Dugald Ralph Hutchings, John T. Stasko |
Consistency, multiple monitors, and multiple windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 211-214, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
consistency, window management, multiple monitors |
30 | Troy K. Astarte |
From Monitors to Monitors: A Primitive History. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 34(1), pp. 51-71, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
30 | Leonardo Pavanatto, Shakiba Davari, Carmen Badea, Richard Stoakley, Doug A. Bowman |
Virtual monitors vs. physical monitors: an empirical comparison for productivity work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Virtual Real. ![In: Frontiers Virtual Real. 4, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Lance Wallace, Tongke Zhao |
Spatial Variation of PM2.5 Indoors and Outdoors: Results from 261 Regulatory Monitors Compared to 14, 000 Low-Cost Monitors in Three Western States over 4.7 Years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(9), pp. 4387, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Leonardo Pavanatto Soares, Chris North 0001, Doug A. Bowman, Carmen Badea, Richard Stoakley |
Do we still need physical monitors? An evaluation of the usability of AR virtual monitors for productivity work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality and 3D User Interfaces, VR 2021, Lisbon, Portugal, March 27 - April 1, 2021, pp. 759-767, 2021, IEEE, 978-1-6654-1838-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Stein Gjessing |
Semantics and Verification of Monitors and Systems of Monitors and Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 2(4), pp. 190-200, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Hideki Eiraku, Yasushi Shinjo, Calton Pu, Younggyun Koh, Kazuhiko Kato |
Fast networking with socket-outsourcing in hosted virtual machine environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 310-317, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
guest operating systems, host operating systems, hosted virtual machine monitors, paravirtualization, socket API, virtualization, outsourcing |
30 | Dugald Ralph Hutchings, John T. Stasko |
Shrinking window operations for expanding display space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 350-353, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
relevant regions, window operations, multiple monitors |
30 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Specification, verification, and synthesis of concurrency control components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 169-179, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
infinite-state model checking, monitors, specification languages, concurrent programming |
30 | Jonathan Grudin |
Partitioning digital worlds: focal and peripheral awareness in multiple monitor use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the CHI 2001 Conference on Human Factors in Computing Systems, Seattle, WA, USA, March 31 - April 5, 2001., pp. 458-465, 2001, ACM, 1-58113-327-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
awareness, displays, multiple monitors |
30 | David F. Bacon, Robert E. Strom, Ashis Tarafdar |
Guava: a dialect of Java without data races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 382-400, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races |
29 | Masaki Omata, Masahiro Kosaka, Atsumi Imamiya |
A pen-tablet-orientation-pointing method for multi-monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHINZ ![In: Proceedings of the 10th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction, CHINZ 2009, Auckland, New Zealand, July 6-7, 2009, pp. 53-60, 2009, ACM, 978-1-60558-574-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
pen-tablet, pointing method, large display, multiple-display environment |
29 | John McGlone, Alan Marshall 0001, Roger F. Woods |
An Attack-Resilent Sampling Mechanism for Integrated IP Flow Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 22-26 June 2009, Montreal, Québec, Canada, pp. 233-238, 2009, IEEE Computer Society, 978-0-7695-3660-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Peter Lammich, Markus Müller-Olm |
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 205-220, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Andrew Brown 0005, Mark Ryan 0001 |
Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, 4th International Conference, ISPEC 2008, Sydney, Australia, April 21-23, 2008, Proceedings, pp. 233-247, 2008, Springer, 978-3-540-79103-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Jianhua Che, Qinming He, Qinghua Gao, Dawei Huang |
Performance Measuring and Comparing of Virtual Machine Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (2) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops, pp. 381-386, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Germano Resconi, Javier Alonso 0003 |
Fuzzy Adaptive Objects (Logic of Monitors as Agents). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 408-414, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Young June Pyun, Douglas S. Reeves |
Strategic deployment of network monitors for attack attribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: Fourth International Conference on Broadband Communications, Networks and Systems, (BROADNETS 2007), 10-14 September 2007, Raleigh, North-Carolina, USA, pp. 525-534, 2007, IEEE, 978-1-4244-1432-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Katell Morin-Allory, Dominique Borrione |
Proven correct monitors from PSL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1246-1251, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Gabriel G. Marcu |
Optimizing color performance for LCD computer monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 1-4, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Germano Resconi, Javier Alonso 0003, Raúl Izquierdo |
Fuzzy Adaptive Objects (Logic of Monitors). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers, pp. 235-240, 2005, Springer, 3-540-29002-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Nikhil Bansal 0003, Kanishka Lahiri, Anand Raghunathan, Srimat T. Chakradhar |
Power Monitors: A Framework for System-Level Power Estimation Using Heterogeneous Power Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India, pp. 579-585, 2005, IEEE Computer Society, 0-7695-2264-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Ilya Wagner, Valeria Bertacco, Todd M. Austin |
StressTest: an automatic approach to test generation via activity monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 783-788, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
directed-random simulation, architectural simulation, high-performance simulation |
29 | Dennis K. Peters, David Lorge Parnas |
Requirements-Based Monitors for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(2), pp. 146-158, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
real-time system, Automated testing, test oracle, supervisor |
29 | Fred B. Schneider |
Lifting Reference Monitors from the Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASec ![In: Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers, pp. 1-2, 2002, Springer, 3-540-20693-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Marcio T. Oliveira, Alan J. Hu |
High-Level specification and automatic generation of IP interface monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 129-134, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
formal verification, pipelining, regular expressions, alternation |
29 | Jan Chomicki, Jorge Lobo 0001 |
Monitors for History-Based Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings, pp. 57-72, 2001, Springer, 3-540-41610-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Dennis K. Peters, David Lorge Parnas |
Requirements-based monitors for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 77-85, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time system, automated testing, test oracle, supervisor |
29 | Arvind, Kim P. Gostelow, Wil Plouffe |
Indeterminancy, Monitors, and Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977, pp. 159-169, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
ID |
27 | Jay Ligatti, Lujo Bauer, David Walker 0001 |
Run-Time Enforcement of Nonsafety Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 12(3), pp. 19:1-19:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
monitoring, safety, Security policies, liveness, policy enforcement, security automata |
27 | Lujo Bauer, Jay Ligatti, David Walker 0001 |
Composing expressive runtime security policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 18(3), pp. 9:1-9:43, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
policy-specification language, policy enforcement, Policy composition |
27 | Weiyun Huang, Edward Omiecinski, Leo Mark, Minh Quoc Nguyen |
History Guided Low-Cost Change Detection in Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 11th International Conference, DaWaK 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings, pp. 75-86, 2009, Springer, 978-3-642-03729-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Fenge Bai, Lifeng Huo, Li Bai, Junying Wang |
Distributed System for Transfusion Supervision Based on Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 206-210, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Yi-Chih Hsieh, Yung-Cheng Lee, Ta-Cheng Chen |
An IA Based Approach for the Optimal Design of Traffic-Monitor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANNGA (1) ![In: Adaptive and Natural Computing Algorithms, 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I, pp. 526-535, 2007, Springer, 978-3-540-71589-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti |
Run-Time Monitoring of Instances and Classes of Web Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 63-71, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Moheeb Abu Rajab, Fabian Monrose, Andreas Terzis |
Fast and Evasive Attacks: Highlighting the Challenges Ahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings, pp. 206-225, 2006, Springer, 3-540-39723-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Network Worms, Network Security, Network Monitoring, Invasive Software |
27 | Robert Ball, Chris North 0001 |
Analysis of User Behavior on High-Resolution Tiled Displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT ![In: Human-Computer Interaction - INTERACT 2005, IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings, pp. 350-363, 2005, Springer, 3-540-28943-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Bartosz Balis, Marian Bubak, Wlodzimierz Funika, Roland Wismüller, Grzegorz Kaplita |
TOM - Efficient Monitoring Infrastructure for Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings, pp. 464-472, 2003, Springer, 3-540-20149-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
performance analysis, monitoring, debugging, multithreading, parallel tools |
27 | Toru Hasegawa, Shigehiro Ano, Koji Nakao, Fumito Kubota |
Programmable Remote Traffic Monitoring Method Using Active Network Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAN ![In: Active Networks, IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001, Proceedings, pp. 49-64, 2001, Springer, 3-540-42678-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Russell R. Atkinson, Carl Hewitt |
Parallelism and Synchronization in Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 267-280, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
23 | Dingding Li, Hai Jin 0001, Yingzhe Shao, Xiaofei Liao |
A high-efficient inter-domain data transferring system for virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2009, Suwon, Korea, January 15-16, 2009, pp. 385-390, 2009, ACM, 978-1-60558-405-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
inter-domain transport, network-bypass, virtual machine, virtual machine monitors |
23 | Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato |
BitVisor: a thin hypervisor for enforcing i/o device security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009, pp. 121-130, 2009, ACM, 978-1-60558-375-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parapass-through, shadow dma descriptor, virtual machine monitors, hypervisors, trusted computing base |
23 | Jacob M. Truemper, Hong Sheng, Michael G. Hilgers, Richard H. Hall, Morris Kalliny, Basanta Tandon |
Usability in multiple monitor displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 39(4), pp. 74-89, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
large display monitor, usability, multitasking, multiple monitors, user performance |
23 | Phu H. Phung, David Sands 0001 |
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1076-1082, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Security policy enforcement, vehicle software, middleware, Aspect-oriented programming, OSGi, reference monitors |
23 | Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere |
Using hpm-sampling to drive dynamic compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 553-568, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
java, profiling, just-in-time compilation, hardware performance monitors |
23 | Florian T. Schneider, Mathias Payer, Thomas R. Gross |
Online optimizations driven by hardware performance monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 373-382, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, dynamic optimization, just-in-time compilation, hardware performance monitors |
23 | Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider |
Computability classes for enforcement mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(1), pp. 175-205, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Program rewriting, reference monitors, security automata, execution monitoring, inlined reference monitoring, edit automata |
23 | Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ryan Kastner |
Policy-Driven Memory Protection for Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings, pp. 461-478, 2006, Springer, 3-540-44601-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Embedded Systems, Computer Security, Security Policies, Policy Languages, Reference Monitors, Separation Kernels |
23 | Jonathan Grudin |
Return on investment and organizational adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2004 ACM Conference on Computer Supported Cooperative Work, CSCW 2004, Chicago, Illinois, USA, November 6-10, 2004, pp. 324-327, 2004, ACM, 1-58113-810-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IT, adoption, ROI, displays, multiple monitors |
23 | Dugald Ralph Hutchings, Greg Smith, Brian Meyers, Mary Czerwinski, George G. Robertson |
Display space usage and window management operation comparisons between single monitor and multiple monitor users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 32-39, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UI logs, automation, user interaction, window management, multiple monitors, space management |
23 | Jock D. Mackinlay, Jeffrey Heer |
Wideband displays: mitigating multiple monitor seams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1521-1524, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
seam-aware interfaces, wideband displays, multiple monitors |
23 | Shlomi Dolev, Frank A. Stomp |
Safety assurance via on-line monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 16(4), pp. 269-277, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Distributed systems, Monitors, Safety properties |
23 | Olga Brukman, Shlomi Dolev, Elliot K. Kolodner |
Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SwSTE ![In: 2003 IEEE International Conference on Software - Science, Technology and Engineering (SwSTE 2003), 4-5 November 2003, Herzelia, Israel, pp. 20-, 2003, IEEE Computer Society, 0-7695-2047-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Heisenbugs, monitors, safety, self-stabilization, liveness, restarters, automatic recovery |
23 | Meredith Ringel |
When one isn't enough: an analysis of virtual desktop usage strategies and their implications for design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 762-763, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
virtual desktops, multiple monitors, information organization |
23 | Jessica Chen |
A study on static analysis in network of synchronizing FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 489-493, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
synchronizing FSMs, multithreaded systems, nondeterministic behavior, Java monitors, Java, static analysis, finite state machines, synchronisation, operational semantics, multi-threading, labeled transition systems, thread synchronization, design artifacts |
23 | Seungwoo Son, Chaedeok Lim, Heung-Nam Kim |
Debugging protocol for remote cross development environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 394-398, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers |
23 | B. Straka, Hans A. R. Manhaeve, Jozef Vanneuville, M. Svajda |
A Fully Digital Controlled Off-Chip IDDQ Measurement Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 495-500, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
IDDQ monitors, test hardware, CMOS, testability, integrated circuits, IDDQ |
23 | Abraham Silberschatz |
Serializability in multi-level monitor environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 855-861, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Concurrent operation, Serial operation, Monitors, Operating systems, Correctness, Classes, Asynchronous processes |
22 | Mehmet Ilgüy, Semanur Dinçer, Dilhan Ilgüy, Gündüz Bayirli |
Detection of Artificial Occlusal Caries in a Phosphor Imaging Plate System with Two Types of LCD Monitors Versus Three Different Films. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 22(3), pp. 242-249, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Diagnostic evaluation, digital display, digital imaging |
Displaying result #1 - #100 of 2145 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|