Search results for "monitors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001	On the expressiveness and complexity of randomization in finite state monitors.	J. ACM	2009	DBLP DOI BibTeX RDF	topology, randomization, runtime verification, probabilistic automata, Omega automata
22	Prabal Dutta, Paul M. Aoki, Neil Kumar, Alan M. Mainwaring, Chris Myers, Wesley Willett, Allison Woodruff	Common Sense: participatory urban sensing using a network of handheld air quality monitors.	SenSys	2009	DBLP DOI BibTeX RDF	air quality sensing, mobile participatory sensing
22	Francis Y. L. Chin, Marek Chrobak, Li Yan	Algorithms for Placing Monitors in a Flow Network.	AAIM	2009	DBLP DOI BibTeX RDF
22	Amit Adam, Ehud Rivlin, Ilan Shimshoni, David Reinitz	Robust Real-Time Unusual Event Detection using Multiple Fixed-Location Monitors.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Computer vision, Video analysis
22	Martin Donoval, Martin Daricek, Viera Stopjaková, Juraj Marek	On-chip Integration of Magnetic Force Sensing Current Monitors.	DDECS	2008	DBLP DOI BibTeX RDF
22	Wei Yu 0002, Nan Zhang 0004, Xinwen Fu, Riccardo Bettati, Wei Zhao 0001	On localization attacks to Internet Threat Monitors: An information-theoretic framework.	DSN	2008	DBLP DOI BibTeX RDF
22	Chetan Parampalli, R. Sekar 0001, Rob Johnson	A practical mimicry attack against powerful system-call monitors.	AsiaCCS	2008	DBLP DOI BibTeX RDF	system-call monitor, intrusion-detection, buffer overflow, memory error, mimicry attack
22	Xiaofan Jiang 0001, Stephen Dawson-Haggerty, Jay Taneja, Prabal Dutta, David E. Culler	Creating greener homes with IP-based wireless ac energy monitors.	SenSys	2008	DBLP DOI BibTeX RDF	sensor network, architecture, measurement, wireless, power, energy, platform, mote, ac, green, meter
22	Fabio Massacci, Katsiaryna Naliuka	Towards Practical Security Monitors of UML Policies for Mobile Applications.	ARES	2008	DBLP DOI BibTeX RDF	runtime monitoring, policy languages, policy enforcement
22	Mikhail Auguston, Mark B. Trakhtenbrot	Synthesis of Monitors for Real-Time Analysis of Reactive Systems.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
22	Alexander M. Hoole, Issa Traoré	Contract-Based Security Monitors for Service Oriented Software Architecture.	APSCC	2008	DBLP DOI BibTeX RDF
22	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.	ICISS	2008	DBLP DOI BibTeX RDF
22	Grigore Rosu, Feng Chen 0006, Thomas Ball	Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.	RV	2008	DBLP DOI BibTeX RDF
22	Michael Backes 0001, Markus Dürmuth, Dominique Unruh	Compromising Reflections-or-How to Read LCD Monitors around the Corner.	SP	2008	DBLP DOI BibTeX RDF	optical emanations, Security
22	Thinh M. Le, Joseph S. Paul, Hasan Al-Nashash, A. Tan, Andreas R. Luft, Fwu-Shan Sheu, Sim Heng Ong	New Insights into Image Processing of Cortical Blood Flow Monitors Using Laser Speckle Imaging.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
22	Swarat Chaudhuri, Rajeev Alur	Instrumenting C Programs with Nested Word Monitors.	SPIN	2007	DBLP DOI BibTeX RDF
22	Constantine A. Murenin	Generalised Interfacing with Microprocessor System Hardware Monitors.	ICNSC	2007	DBLP DOI BibTeX RDF
22	Zhigang Liang, Kuncheng Li, Xiaolin Yang, Xiangying Du, Jiabin Liu, Xin Zhao, Xiangdong Qi	ROC Analysis for Diagnostic Accuracy of Fracture by Using Different Monitors.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	receiver operating characteristic curve, Picture archiving and communication system, ROC
22	Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur	Are virtual-machine monitors microkernels done right?	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF
22	Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan	Automated generation of monitors for pattern contracts.	SAC	2006	DBLP DOI BibTeX RDF	specification, design patterns, monitoring, contracts, aspects
22	Andrew Whitaker, Richard S. Cox, Marianne Shaw, Steven D. Gribble	Rethinking the Design of Virtual Machine Monitors.	Computer	2005	DBLP DOI BibTeX RDF	virtual machines, computer architectures, software systems, virtualization technology
22	Mendel Rosenblum, Tal Garfinkel	Virtual Machine Monitors: Current Technology and Future Trends.	Computer	2005	DBLP DOI BibTeX RDF	virtual machines, computer architectures, software systems, virtualization technology
22	Luciano Baresi, Carlo Ghezzi, Sam Guinea	Smart monitors for composed services.	ICSOC	2004	DBLP DOI BibTeX RDF	pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements
22	Dries Buytaert, Andy Georges, Lieven Eeckhout, Koen De Bosschere	Bottleneck analysis in java applications using hardware performance monitors.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	phase behavior, java, performance analysis, profiling
22	Gretchen A. Schultes, D. Elizabeth Miller, Janet Simons, Jesse Thomas	Student technology consultants: they're not lab monitors anymore.	SIGUCCS	2004	DBLP DOI BibTeX RDF	public lab, technology enhanced classrooms, multimedia, training, support, presentations, student workers
22	Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro	Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
22	Ramkumar Chinchani, Shambhu J. Upadhyaya, Kevin A. Kwiat	A Tamper-Resistant Framework for Unambiguous Detection of Attacks in User Space Using Process Monitors.	IWIA	2003	DBLP DOI BibTeX RDF
22	Lujo Bauer, Jarred Ligatti, David Walker 0001	Types and Effects for Non-interfering Program Monitors.	ISSS	2002	DBLP DOI BibTeX RDF
22	Ian Gorton, Anna Liu	Evaluating Object Transactional Monitors with OrbixOTM.	PDSE	1999	DBLP DOI BibTeX RDF
22	Rebecca A. Grant, Christopher A. Higgins	Computerized Performance Monitors as Multidimensional Systems: Derivation and Application.	ACM Trans. Inf. Syst.	1996	DBLP DOI BibTeX RDF	computerized performance evaluation, computerized work monitoring, work monitoring system design
22	Mamoru Maekawa, Ken Sakamura, Chiaki Ishikawa	Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming.	ASPLOS	1982	DBLP DOI BibTeX RDF
21	Eric Bodden	Efficient hybrid typestate analysis by determining continuation-equivalent states.	ICSE (1)	2010	DBLP DOI BibTeX RDF	typestate analysis, static analysis, runtime monitoring
21	Ramsés Morales, Indranil Gupta	AVMON: Optimal and Scalable Discovery of Consistent Availability Monitoring Overlays for Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
21	Adriano Fagiolini, Francesco Babboni, Antonio Bicchi	Dynamic distributed intrusion detection for secure multi-robot systems.	ICRA	2009	DBLP DOI BibTeX RDF
21	Sanjay Modgil, Noura Faci, Felipe Rech Meneguzzi, Nir Oren, Simon Miles, Michael Luck	A framework for monitoring agent-based normative systems.	AAMAS (1)	2009	DBLP BibTeX RDF	monitoring, norms, electronic contracts
21	Adriano Fagiolini, Marco Pellinacci, Gianni Valenti, Gianluca Dini, Antonio Bicchi	Consensus-based distributed intrusion detection for multi-robot systems.	ICRA	2008	DBLP DOI BibTeX RDF
21	Jiong Wang, Sirisha Medidi	Topology Control for Reliable Sensor-to-Sink Data Transport in Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
21	Ernst Scholtz, Bernard C. Lesieutre	Graphical observer design suitable for large-scale DAE power systems.	CDC	2008	DBLP DOI BibTeX RDF
21	Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang	Keynote: Hierarchical Fault Detection in Embedded Control Software.	COMPSAC	2008	DBLP DOI BibTeX RDF	Fault monitoring, embedded control systems, input/output extended finite automata, discrete-time hybrid systems, fault detection, fault isolation
21	Xun Wang, Wei Yu 0002, Xinwen Fu, Dong Xuan, Wei Zhao 0001	iLOC: An invisible LOCalization Attack to Internet Threat Monitoring Systems.	INFOCOM	2008	DBLP DOI BibTeX RDF
21	Min Cai, Kai Hwang 0001, Jianping Pan 0001, Christos Papadopoulos	WormShield: Fast Worm Signature Generation with Distributed Fingerprint Aggregation.	IEEE Trans. Dependable Secur. Comput.	2007	DBLP DOI BibTeX RDF	distributed aggregation tree, cardinality counting, Network security, distributed hash table, traffic measurement, Internet worms, signature generation, worm containment
21	Ramsés Morales, Indranil Gupta	AVMON: Optimal and Scalable Discovery of Consistent Availability Monitoring Overlays for Distributed Systems.	ICDCS	2007	DBLP DOI BibTeX RDF	Optimality, Scalability, Monitoring, Consistency, Availability, Overlay, Churn
21	Mark Coates, Yvan Pointurier, Michael G. Rabbat	Compressed network monitoring for ip and all-optical networks.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	diffusion wavelets, network monitoring, compressed sensing
21	Tao Wu, Arun K. Somani	Attack monitoring and localization in All-Optical Networks.	Clust. Comput.	2006	DBLP DOI BibTeX RDF	AON, Monitor, Attack, Crosstalk
21	Gion Reto Cantieni, Gianluca Iannaccone, Chadi Barakat, Christophe Diot, Patrick Thiran	Reformulating the monitor placement problem: optimal network-wide sampling.	CoNEXT	2006	DBLP DOI BibTeX RDF
21	Abdelmajid Bouajila, Andreas Bernauer, Andreas Herkersdorf, Wolfgang Rosenstiel, Oliver Bringmann 0001, Walter Stechele	Error Detection Techniques Applicable in an Architecture Framework and Design Methodology for Autonomic SoCs.	BICC	2006	DBLP DOI BibTeX RDF
21	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
21	Tao Wu, Arun K. Somani	Cross-talk attack monitoring and localization in all-optical networks.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	diagnosability of attacks, sparse monitoring, attack, crosstalk, all-optical network
21	Emily Seto, Ali Ursani, Joseph A. Cafazzo, Peter G. Rossos, Anthony C. Easty	Image Quality Assurance of Soft Copy Display Systems.	J. Digit. Imaging	2005	DBLP DOI BibTeX RDF	softcopy, cathode ray tube, liquid crystal display, DICOM 14, Grayscale Standard Display Function, SMPTE, monitor, medical imaging, calibration, Image quality, quality assurance, quality control, luminance, display system
21	Benoit Donnet, Timur Friedman, Mark Crovella	Improved Algorithms for Network Topology Discovery.	PAM	2005	DBLP DOI BibTeX RDF
21	Miha Ciglar	Tastes like...	ACM Multimedia	2005	DBLP DOI BibTeX RDF	analogue oscillations, imperfection, interaction, transformation, feedback, conduction, resistance
21	Martin Schulz 0001, Brian S. White, Sally A. McKee, Hsien-Hsin S. Lee, Jürgen Jeitner	Owl: next generation system monitoring.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	autonomous performance monitoring, performance analysis, reconfiguration
21	Yongzheng Wu, Roland H. C. Yap	A User-level Framework for Auditing and Monitoring.	ACSAC	2005	DBLP DOI BibTeX RDF
21	William N. Robinson	Monitoring Web Service Requirements.	RE	2003	DBLP DOI BibTeX RDF
21	Clinton Jeffery, Mikhail Auguston, Scott Underwood	Towards Fully Automatic Execution Monitoring.	RISSEF	2002	DBLP DOI BibTeX RDF
21	Frances L. Palacio, Douglas R. Bloch, Carol Righi	A comparison of interobserver agreement and quantity of usability data obtained using graphics-based and text-based data collection tools.	CASCON	1993	DBLP BibTeX RDF
21	Kenneth P. Birman	Maintaining consistency in distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
21	Lionel M. Ni, Ching-Farn Eric Wu	Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	hill climbing simulation, software bottleneck, monitor bottleneck, low process utilization, load imbalancing, memory requests, fixed monitor selection, supervisory programs, scheduling, performance evaluation, performance evaluation, multiprocessing systems, process scheduling, multiprocessing programs, shared memory multiprocessor systems
16	Audun Nordal, Åge Kvalnes, Joseph Hurley, Dag Johansen	Balava: Federating Private and Public Clouds.	SERVICES	2011	DBLP DOI BibTeX RDF	Operating systems, Metacomputing, Virtual machine monitors
16	Keisuke Okamura, Yoshihiro Oyama	Load-based covert channels between Xen virtual machines.	SAC	2010	DBLP DOI BibTeX RDF	covert channels, virtual machine monitors
16	Andrey Chudnov, David A. Naumann	Information Flow Monitor Inlining.	CSF	2010	DBLP DOI BibTeX RDF	program transformation, information security, Information flow, reference monitors
16	Micah Jones, Kevin W. Hamlen	Disambiguating aspect-oriented security policies.	AOSD	2010	DBLP DOI BibTeX RDF	aspect-oriented programming, declarative languages, reference monitors
16	Kanak Agarwal	On-die sensors for measuring process and environmental variations in integrated circuits.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	environmental variation, test structure, monitors, sensors, process variation, characterization
16	Phu H. Phung, David Sands 0001, Andrey Chudnov	Lightweight self-protecting JavaScript.	AsiaCCS	2009	DBLP DOI BibTeX RDF	programming, JavaScript, language based security, inlined reference monitors
16	Fei Yan, Philip W. L. Fong	Efficient IRM enforcement of history-based access control policies.	AsiaCCS	2009	DBLP DOI BibTeX RDF	distributed optimization protocol, history-based access control policies, language-based security, security automata, inlined reference monitors
16	Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki	Kenro: a virtual machine monitor mostly described in Haskell.	SAC	2009	DBLP DOI BibTeX RDF	functional languages, virtual machine monitors
16	Sharada Bose, Priti Mishra, Priya Sethuraman, H. Reza Taheri	Benchmarking Database Performance in a Virtual Environment.	TPCTC	2009	DBLP DOI BibTeX RDF	performance, benchmarking, virtual machines, software systems, virtual machine monitors, server consolidation, virtualization technology
16	Arnar Birgisson, Úlfar Erlingsson	An implementation and semantics for transactional memory introspection in Haskell.	PLAS	2009	DBLP DOI BibTeX RDF	transactional memory, reference monitors
16	Oscar González 0001, Rubby Casallas, Dirk Deridder	Automating the Implementation of Analysis Concerns in Workflow Applications.	ASE	2009	DBLP DOI BibTeX RDF	analysis concerns, measurement, monitors, code generation, languages, workflow management
16	Marta Beltrán, Antonio Guzmán, José Luis Bosque	A New CPU Availability Prediction Model for Time-Shared Systems.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Monitors, Performance measures, Modeling and prediction
16	Radu Prodan, Thomas Fahringer	Overhead Analysis of Scientific Workflows in Grid Environments.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	performance evaluation, Distributed systems, monitors, performance measurements, distributed applications, performance attributes, distributed/Internet based software engineering tools and techniques
16	Megumi Ito, Shuichi Oikawa	Lightweight Shadow Paging for Efficient Memory Isolation in Gandalf VMM.	ISORC	2008	DBLP DOI BibTeX RDF	Virtual Machine Monitors, System Software
16	Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode	Enforcing authorization policies using transactional memory introspection.	CCS	2008	DBLP DOI BibTeX RDF	transactional memory, reference monitors
16	Koichi Onoue, Yoshihiro Oyama, Akinori Yonezawa	Control of system calls from outside of virtual machines.	SAC	2008	DBLP DOI BibTeX RDF	security, virtual machine monitors, sandboxing, system call interception
16	Florin Sandu, Szilárd Cserey, Titus Constantin Balan, Mihai Romanca	Simulation-based UMTS e-learning software.	PETRA	2008	DBLP DOI BibTeX RDF	3G mobile telecom, 3GPP release 4, discrete event simulation systems, protocol monitors and emulators, virtual network adapters, UMTS
16	Lamia Youseff, Keith Seymour, Haihang You, Jack J. Dongarra, Richard Wolski	The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software.	HPDC	2008	DBLP DOI BibTeX RDF	paravirtualization, cloud computing, high performance, linear algebra, virtual machine monitors, blas, autotuning
16	Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey S. Dwoskin, Dan R. K. Ports	Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems.	ASPLOS	2008	DBLP DOI BibTeX RDF	cloaking, multi-shadowing, operating systems, virtual machine monitors, hypervisors, memory protection, VMM
16	Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana	Monitoring of Timing Constraints with Confidence Threshold Requirements.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	fault tolerance, Constraints, monitors, temporal logic, real-time and embedded systems
16	Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok	Extending ACID semantics to the file system.	ACM Trans. Storage	2007	DBLP DOI BibTeX RDF	File system transactions, ptrace monitors, recoverable memory, databases, file systems
16	Richard P. Spillane, Charles P. Wright, Gopalan Sivathanu, Erez Zadok	Rapid file system development using ptrace.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	monitors, rapid prototyping
16	Dugald Ralph Hutchings, John T. Stasko	Quantifying the Performance Effect of Window Snipping in Multiple-Monitor Environments.	INTERACT (2)	2007	DBLP DOI BibTeX RDF	snip, evaluation, window management, multiple monitors
16	Ryder Ziola, Melanie Kellar, Kori Inkpen	DeskJockey: Exploiting Passive Surfaces to Display Peripheral Information.	INTERACT (1)	2007	DBLP DOI BibTeX RDF	Augmented desk, peripheral information, display space management, user interaction, multiple monitors
16	Matthew B. Dwyer, Rahul Purandare	Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.	ASE	2007	DBLP DOI BibTeX RDF	optimizing run-time monitors, static error detection
16	David K. Tam, Reza Azimi, Michael Stumm	Thread clustering: sharing-aware scheduling on SMP-CMP-SMT multiprocessors.	EuroSys	2007	DBLP DOI BibTeX RDF	cache behavior, detecting sharing, performance monitoring unit, single-chip multiprocessors, thread placement, resource allocation, CMP, multithreading, sharing, SMP, simultaneous multithreading, SMT, shared caches, cache locality, thread scheduling, thread migration, hardware performance monitors, hardware performance counters, affinity scheduling
16	Paul A. Karger	Performance and security lessons learned from virtualizing the alpha processor.	ISCA	2007	DBLP DOI BibTeX RDF	virtualizability, security, virtual machine monitors, hypervisors
16	Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider	Certified In-lined Reference Monitoring on .NET.	PLAS	2006	DBLP DOI BibTeX RDF	in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring
16	Renato J. O. Figueiredo, Peter A. Dinda, José A. B. Fortes	Guest Editors' Introduction: Resource Virtualization Renaissance.	Computer	2005	DBLP DOI BibTeX RDF	virtual machines, software systems, virtual machine monitors, server consolidation, virtualization technology
16	Scott A. Allison, Clifford F. Sweet, Douglas P. Beall, Thomas E. Lewis, Thomas Monroe	Department of Defense Picture Archiving and Communication System Acceptance Testing: Results and Identification of Problem Components.	J. Digit. Imaging	2005	DBLP DOI BibTeX RDF	clinical use determination, DIN-PACS, MDIS, monitors, PACS, workstation, acceptance testing, RIS, HIS
16	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	Control-flow integrity.	CCS	2005	DBLP DOI BibTeX RDF	vulnerabilities, control-flow graph, binary rewriting, inlined reference monitors
16	Lujo Bauer, Jay Ligatti, David Walker 0001	Composing security policies with polymer.	PLDI	2005	DBLP DOI BibTeX RDF	composable security policies, run-time enforcement, security automata, program monitors, edit automata
16	Bartomeu Alorda, Sebastià A. Bota, Jaume Segura 0001	A Non-Intrusive Built-In Sensor for Transient Current Testing of Digital VLSI Circuits.	IOLTS	2005	DBLP DOI BibTeX RDF	Current based testing, built-in current monitors, high-speed measurements, transient current
16	Aravind Menon, Jose Renato Santos, Yoshio Turner, G. John Janakiraman, Willy Zwaenepoel	Diagnosing performance overheads in the xen virtual machine environment.	VEE	2005	DBLP DOI BibTeX RDF	statistical profiling, performance analysis, virtual machine monitors
16	Nelly Delgado, Ann Q. Gates, Steve Roach	A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, specification, survey, specification language, runtime monitors, software/program verification
16	Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee	Formal hardware specification languages for protocol compliance verification.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
16	Bartomeu Alorda, Vicent Canals, Ivan de Paúl, Jaume Segura 0001	A BIST-based Charge Analysis for Embedded Memories.	IOLTS	2004	DBLP DOI BibTeX RDF	Current based testing, charge based testing, Embedded memories test, built-in current monitors
16	David B. Stewart, Gaurav Arora	A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Real-time systems theory, aperiodic servers, periodic threads, logic analyzer, in-circuit emulator, simulation, graphical user interface, operating systems, profiling, priority, deadline, performance monitors, timing error
16	Paul Barham 0001, Boris Dragovic, Keir Fraser, Steven Hand 0001, Tim Harris 0001, Alex Ho, Rolf Neugebauer, Ian Pratt 0001, Andrew Warfield	Xen and the art of virtualization.	SOSP	2003	DBLP DOI BibTeX RDF	paravirtualization, virtual machine monitors, hypervisors
16	Fred B. Schneider	Enforceable security policies.	ACM Trans. Inf. Syst. Secur.	2000	DBLP DOI BibTeX RDF	EM security policies, SASI, security policies, proof carrying code, safety properties, security automata, inlined reference monitors
16	Neil M. Goldman	Smiley-An Interactive Tool for Monitoring Inter-Module Function Calls.	IWPC	2000	DBLP DOI BibTeX RDF	software comprehension tools, API spy, Software monitors
16	Peter H. Welch, Jeremy M. R. Martin	A CSP Model for Java Multithreading.	PDSE	2000	DBLP DOI BibTeX RDF	race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock