Search results for "Monitors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Douglas W. Jacobson	A distributed measurement technique for an operating ethernet network (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
63	Peter A. Buhr, Ashif S. Harji	Implicit-signal monitors.	ACM Trans. Program. Lang. Syst.	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.	Graphics Interface	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.	CHI Extended Abstracts	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.	PPoPP	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.	SRDS	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.	OOPSLA	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.	ESORICS	2005	DBLP DOI BibTeX RDF
49	Craig Harvey, Paul A. Strooper	Testing Java Monitors through Deterministic Execution.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
49	Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke	Synchronous IPC over transparent monitors.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
49	Michael Nicolaidis, Yervant Zorian	On-Line Testing for VLSI - A Compendium of Approaches.	J. Electron. Test.	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.	RV	2021	DBLP DOI BibTeX RDF
45	Paul A. Karger	Securing virtual machine monitors: what is needed?	AsiaCCS	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.	FMOODS	2006	DBLP DOI BibTeX RDF	oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics
45	Anders Blomdell	Efficient JavaTM Monitors.	ISORC	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.	ICECCS	2005	DBLP DOI BibTeX RDF
41	Yongping Tang, Yema Liverpool, Thomas E. Daniels	Monitor placement for stepping stone analysis.	IPCCC	2006	DBLP DOI BibTeX RDF
38	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	Theory Comput. Syst.	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.	PLAS	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.	CHI Extended Abstracts	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.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	sticky widgets, user interface, interaction technique, multiple monitors, pseudo-haptic
37	Per Brinch Hansen	Multiprocessor Architectures For Concurrent Programs.	ACM Annual Conference (1)	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.	NordSec	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.	LICS	2008	DBLP DOI BibTeX RDF
36	Katell Morin-Allory, Laurent Fesquet, Dominique Borrione	Asynchronous Assertion Monitors for multi-Clock Domain System Verification.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
36	Ambar A. Gadkari, S. Ramesh 0002	Automated Synthesis of Assertion Monitors using Visual Specifications.	DATE	2005	DBLP DOI BibTeX RDF
36	Kyoungwon Suh, Yang Guo 0001, James F. Kurose, Donald F. Towsley	Locating network monitors: complexity, heuristics, and coverage.	INFOCOM	2005	DBLP DOI BibTeX RDF
36	William N. Robinson	Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring.	HICSS	2005	DBLP DOI BibTeX RDF
36	Elisa Bertino, Alessandra Mileo, Alessandro Provetti	PDL with Maximum Consistency Monitors.	ISMIS	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.	FPL	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.	ASE	2001	DBLP DOI BibTeX RDF
36	Michael Factor	The Process Trellis Architectur for Real-Time Monitors.	PPoPP	1990	DBLP DOI BibTeX RDF
34	Xia Zhang, Haijing Pan	Study on Color Characteristic of Monitor.	CSSE (6)	2008	DBLP DOI BibTeX RDF
34	Benoit Donnet, Bradley Huffaker, Timur Friedman, Kimberly C. Claffy	Evaluation of a Large-Scale Topology Discovery Algorithm.	IPOM	2006	DBLP DOI BibTeX RDF
34	Radu I. Campeanu, John D. McFall	Colour monitor calibration based on CIE standards.	CASCON	1993	DBLP BibTeX RDF
32	Scott Moore, Stephen Chong	Static Analysis for Efficient Hybrid Information-Flow Control.	CSF	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.	ACM Trans. Design Autom. Electr. Syst.	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.	OOPSLA	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.	J. Electron. Test.	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.	OOPSLA	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.	IOLTS	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.	CHI	2007	DBLP DOI BibTeX RDF	consistency, window management, multiple monitors
30	Troy K. Astarte	From Monitors to Monitors: A Primitive History.	Minds Mach.	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.	Frontiers Virtual Real.	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.	Sensors	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.	VR	2021	DBLP DOI BibTeX RDF
30	Stein Gjessing	Semantics and Verification of Monitors and Systems of Monitors and Processes.	Distributed Comput.	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.	SAC	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.	AVI	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.	ISSTA	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.	CHI	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.	OOPSLA	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.	CHINZ	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.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
29	Peter Lammich, Markus Müller-Olm	Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.	SAS	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.	ISPEC	2008	DBLP DOI BibTeX RDF
29	Jianhua Che, Qinming He, Qinghua Gao, Dawei Huang	Performance Measuring and Comparing of Virtual Machine Monitors.	EUC (2)	2008	DBLP DOI BibTeX RDF
29	Germano Resconi, Javier Alonso 0003	Fuzzy Adaptive Objects (Logic of Monitors as Agents).	EUROCAST	2007	DBLP DOI BibTeX RDF
29	Young June Pyun, Douglas S. Reeves	Strategic deployment of network monitors for attack attribution.	BROADNETS	2007	DBLP DOI BibTeX RDF
29	Katell Morin-Allory, Dominique Borrione	Proven correct monitors from PSL specifications.	DATE	2006	DBLP DOI BibTeX RDF
29	Gabriel G. Marcu	Optimizing color performance for LCD computer monitors.	ICIP (2)	2005	DBLP DOI BibTeX RDF
29	Germano Resconi, Javier Alonso 0003, Raúl Izquierdo	Fuzzy Adaptive Objects (Logic of Monitors).	EUROCAST	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.	VLSI Design	2005	DBLP DOI BibTeX RDF
29	Ilya Wagner, Valeria Bertacco, Todd M. Austin	StressTest: an automatic approach to test generation via activity monitors.	DAC	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.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	real-time system, Automated testing, test oracle, supervisor
29	Fred B. Schneider	Lifting Reference Monitors from the Kernel.	FASec	2002	DBLP DOI BibTeX RDF
29	Marcio T. Oliveira, Alan J. Hu	High-Level specification and automatic generation of IP interface monitors.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, pipelining, regular expressions, alternation
29	Jan Chomicki, Jorge Lobo 0001	Monitors for History-Based Policies.	POLICY	2001	DBLP DOI BibTeX RDF
29	Dennis K. Peters, David Lorge Parnas	Requirements-based monitors for real-time systems.	ISSTA	2000	DBLP DOI BibTeX RDF	real-time system, automated testing, test oracle, supervisor
29	Arvind, Kim P. Gostelow, Wil Plouffe	Indeterminancy, Monitors, and Dataflow.	SOSP	1977	DBLP DOI BibTeX RDF	ID
27	Jay Ligatti, Lujo Bauer, David Walker 0001	Run-Time Enforcement of Nonsafety Policies.	ACM Trans. Inf. Syst. Secur.	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.	ACM Trans. Softw. Eng. Methodol.	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.	DaWaK	2009	DBLP DOI BibTeX RDF
27	Fenge Bai, Lifeng Huo, Li Bai, Junying Wang	Distributed System for Transfusion Supervision Based on Embedded System.	CSSE (3)	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.	ICANNGA (1)	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.	ICWS	2006	DBLP DOI BibTeX RDF
27	Moheeb Abu Rajab, Fabian Monrose, Andreas Terzis	Fast and Evasive Attacks: Highlighting the Challenges Ahead.	RAID	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.	INTERACT	2005	DBLP DOI BibTeX RDF
27	Bartosz Balis, Marian Bubak, Wlodzimierz Funika, Roland Wismüller, Grzegorz Kaplita	TOM - Efficient Monitoring Infrastructure for Multithreaded Programs.	PVM/MPI	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.	IWAN	2001	DBLP DOI BibTeX RDF
27	Russell R. Atkinson, Carl Hewitt	Parallelism and Synchronization in Actor Systems.	POPL	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.	ICUIMC	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.	VEE	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.	Data Base	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.	COMPSAC	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.	OOPSLA	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.	PLDI	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.	ACM Trans. Program. Lang. Syst.	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.	ESORICS	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.	CSCW	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.	AVI	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.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	seam-aware interfaces, wideband displays, multiple monitors
23	Shlomi Dolev, Frank A. Stomp	Safety assurance via on-line monitoring.	Distributed Comput.	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.	SwSTE	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.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	virtual desktops, multiple monitors, information organization
23	Jessica Chen	A study on static analysis in network of synchronizing FSMs.	APSEC	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.	RTCSA	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.	DATE	1998	DBLP DOI BibTeX RDF	IDDQ monitors, test hardware, CMOS, testability, integrated circuits, IDDQ
23	Abraham Silberschatz	Serializability in multi-level monitor environments.	ACM Annual Conference (2)	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.	J. Digit. Imaging	2009	DBLP DOI BibTeX RDF	Diagnostic evaluation, digital display, digital imaging