Search results for "monitors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Fahad Ahmed, Linda Milor	Via wearout detection with on-chip monitors.	Microelectron. J.	2010	DBLP DOI BibTeX RDF
15	Mads Dam, Andreas Lundblad	A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode	CoRR	2010	DBLP BibTeX RDF
15	John Keane 0001, Tony Tae-Hyoung Kim, Xiaofei Wang, Chris H. Kim	On-chip reliability monitors for measuring circuit degradation.	Microelectron. Reliab.	2010	DBLP DOI BibTeX RDF
15	Daniel Y. Chao	Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements).	Comput. J.	2010	DBLP DOI BibTeX RDF
15	Alexandre Porcher, Katell Morin-Allory, Laurent Fesquet	Synthesis of asynchronous monitors for critical electronic systems.	DDECS	2010	DBLP DOI BibTeX RDF
15	Richard H. Carver, Jeff Yu Lei	A Stateful Approach to Testing Monitors in Multithreaded Programs.	HASE	2010	DBLP DOI BibTeX RDF	monitor, concurrent programming, reachability testing
15	Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld	On-the-fly Inlining of Dynamic Security Monitors.	SEC	2010	DBLP DOI BibTeX RDF
15	Garth Heward, Jun Han 0004, Ingo Müller 0001, Jean-Guy Schneider, Steven Versteeg	Optimizing the Configuration of Web Service Monitors.	ICSOC	2010	DBLP DOI BibTeX RDF
15	Travis D. Breaux	A method to acquire compliance monitors from regulations.	RELAW	2010	DBLP DOI BibTeX RDF
15	Hossain Shahriar, Mohammad Zulkernine	Classification of Buffer Overflow Vulnerability Monitors.	ARES	2010	DBLP DOI BibTeX RDF	Program vulnerabiilty, Monitoring objective, Program state utilization, Program environment
15	Tobias Stumpf	Design eines Virtual Machine Monitors aufbauend auf einem Mikrokern.	Echtzeit	2010	DBLP DOI BibTeX RDF
15	Aditi Patwardhan, Kevin W. Hamlen, Kendra M. L. Cooper	Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors.	DMS	2010	DBLP BibTeX RDF
15	Eric Bodden, Patrick Lam 0001	Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement.	RV	2010	DBLP DOI BibTeX RDF
15	Deian Tabakov, Moshe Y. Vardi	Optimized temporal monitors for SystemC.	RV	2010	DBLP DOI BibTeX RDF
15	Eric Bodden, Patrick Lam 0001, Laurie J. Hendren	Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.	RV	2010	DBLP DOI BibTeX RDF
15	Guojin He, Antonia Zhai	Improving the performance of program monitors with compiler support in multi-core environment.	IPDPS	2010	DBLP DOI BibTeX RDF
15	Diego Milano, Nenad Stojnic	Shepherd: node monitors for fault-tolerant distributed process execution in OSIRIS.	WEWST	2010	DBLP DOI BibTeX RDF
15	Jesse M. Blum, Evan H. Magill	The Design and Evaluation of Personalised Ambient Mental Health Monitors.	CCNC	2010	DBLP DOI BibTeX RDF
15	Hedi Benzina, Jean Goubault-Larrecq	Some Ideas on Virtualized System Security, and Monitors.	DPM/SETOP	2010	DBLP DOI BibTeX RDF
15	Sreejit Chakravarty	Special session 11C: Hot topic design consideration and silicon evaluation of on-chip monitors.	VTS	2010	DBLP DOI BibTeX RDF
15	Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification
15	Meera Sridhar, Kevin W. Hamlen	Model-Checking In-Lined Reference Monitors.	VMCAI	2010	DBLP DOI BibTeX RDF
15	Rasmus Houborg, Matthew Rodell, Jay Lawrimore, Bailing Li, Rolf Reichle, Richard Heim, Matthew Rosencrans, Rich Tinker, James S. Famiglietti, Mark Svoboda, Brian D. Wardlow, Benjamin F. Zaitchik	Using enhanced GRACE water storage data to improve drought detection by the U.S. and North American Drought Monitors.	IGARSS	2010	DBLP DOI BibTeX RDF
15	Shlomi Dolev, Yuval Elovici, Rami Puzis, Polina Zilberman	Incremental deployment of network monitors based on Group Betweenness Centrality.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
15	Wei Yu 0002, Xun Wang, Xinwen Fu, Dong Xuan, Wei Zhao 0001	An Invisible Localization Attack to Internet Threat Monitors.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
15	Byong-Deok Choi	Line-time extension driving method with image quality enhancement for LCD monitors and TVs.	IEEE Trans. Consumer Electron.	2009	DBLP DOI BibTeX RDF
15	Francis Y. L. Chin, Marek Chrobak, Li Yan	Algorithms for Placing Monitors in a Flow Network	CoRR	2009	DBLP BibTeX RDF
15	Shlomi Dolev, Yuval Elovici, Rami Puzis, Polina Zilberman	Incremental Deployment of Network Monitors Based on Group Betweenness Centrality	CoRR	2009	DBLP BibTeX RDF
15	ZhiWu Li 0001, Hesuan Hu	On systematic methods to remove redundant monitors from liveness-enforcing net supervisors.	Comput. Ind. Eng.	2009	DBLP DOI BibTeX RDF
15	Georgos Siganos, Josep M. Pujol, Pablo Rodriguez 0001	Monitoring the Bittorrent Monitors: A Bird's Eye View.	PAM	2009	DBLP DOI BibTeX RDF
15	Bettina Rebaud, Marc Belleville, Edith Beigné, Christian Bernard, Michel Robert, Philippe Maurine, Nadine Azémard	Digital Timing Slack Monitors and Their Specific Insertion Flow for Adaptive Compensation of Variabilities.	PATMOS	2009	DBLP DOI BibTeX RDF
15	Amit Kumar Pandey, Rachid Alami	A step towards a sociable robot guide which monitors and adapts to the person's activities.	ICAR	2009	DBLP BibTeX RDF
15	Shay Gueron, Jean-Pierre Seifert	On the Impossibility of Detecting Virtual Machine Monitors.	SEC	2009	DBLP DOI BibTeX RDF
15	Ahmed Mohamed AbdelHamid, Ankur Anchlia, Stylianos Mamagkakis, Miguel Corbalan Miranda, Bart Dierickx, Maarten Kuijk	A Standardized Knobs and Monitors RTL2RTL Insertion Methodology for Fine Grain SoC Tuning.	DSD	2009	DBLP DOI BibTeX RDF
15	Jongyoon Choi, Ricardo Gutierrez-Osuna	Using Heart Rate Monitors to Detect Mental Stress.	BSN	2009	DBLP DOI BibTeX RDF
15	Jari-Matti Mäkelä, Ville Leppänen	Experiences with embedding MPL security monitors into Java programs.	CompSysTech	2009	DBLP DOI BibTeX RDF
15	Guanyao Huang, Ashwin Lall, Chen-Nee Chuah, Jun (Jim) Xu	Uncovering global icebergs in distributed monitors.	IWQoS	2009	DBLP DOI BibTeX RDF
15	François Armand, Michel Gien	A Practical Look at Micro-Kernels and Virtual Machine Monitors.	CCNC	2009	DBLP DOI BibTeX RDF
15	Jianhua Che, Qinming He, Kejiang Ye, Dawei Huang	Performance Combinative Evaluation of Typical Virtual Machine Monitors.	HPCA (China)	2009	DBLP DOI BibTeX RDF
15	Paul E. West, Yuval Peress, Gary S. Tyson, Sally A. McKee	Core monitors: monitoring performance in multicore processors.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	scheduling, debugging, profiling, multicore, cache coherency, performance monitoring, realtime
15	Limin Shen, Feng Li 0017, Siwei Peng, Yali Si	A Method to Enhance SCADA Systems Survivability with Exogenous Monitors.	CSIE (2)	2009	DBLP DOI BibTeX RDF
15	Jorge Lucio-Díaz, Elisa Espinosa-Juárez, Araceli Hernández	Application of Genetic Algorithms in the Optimal Location of Voltage Sag Monitors and Analysis of Redundancy Measurement.	IC-AI	2009	DBLP BibTeX RDF
15	Julian Tibble	Optimising trace monitors.		2009	RDF
15	Grzegorz Milos	Efficient and effective sharing of memory in virtual machine monitors.		2009	RDF
15	Florian T. Schneider	Online Optimizations using Hardware Performance Monitors.		2009	RDF
15	Denis Caromel, Luis Mateu, Guillaume Pothier, Éric Tanter	Parallel object monitors.	Concurr. Comput. Pract. Exp.	2008	DBLP DOI BibTeX RDF
15	Tariq Assaf, Joanna Bechta-Dugan	Diagnosis based on reliability analysis using monitors and sensors.	Reliab. Eng. Syst. Saf.	2008	DBLP DOI BibTeX RDF
15	Mustafa M. Tikir, Jeffrey K. Hollingsworth	Hardware monitors for dynamic page migration.	J. Parallel Distributed Comput.	2008	DBLP DOI BibTeX RDF
15	Paul A. Karger, David Safford	I/O for Virtual Machine Monitors: Security and Performance Issues.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
15	Xi Jin, Jinliang Gao, Wenyan Wu 0002	Optimal placement of pressure monitors in water supply network with elitist genetic algorithm.	Int. J. Model. Identif. Control.	2008	DBLP DOI BibTeX RDF
15	Cyle Sprick, Greg S. Ruthenbeck, Harry Owen, Karen J. Reynolds	Virtual Patient Monitors for New User Familiarization.	MMVR	2008	DBLP BibTeX RDF
15	Dobromir Dochev	Objective evaluation of quality of colour reproduction in current LCD monitors.	CompSysTech	2008	DBLP DOI BibTeX RDF
15	Haibo Su, Wentao Chen, Shijun Lin, Depeng Jin, Lieguang Zeng	The Inference of Link Loss Rates with Internal Monitors.	GLOBECOM	2008	DBLP DOI BibTeX RDF
15	Tomi Karlstedt, Ville Leppänen, Sanna Tuohimaa	Embedding Rule-Based Security Monitors into Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	security, mobile code, runtime monitoring
15	Eric Bodden, Patrick Lam 0001, Laurie J. Hendren	Finding programming errors earlier by evaluating runtime monitors ahead-of-time.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	machine learning, static analysis, runtime verification, points-to analysis, static verification
15	Yan Li, Mohamed G. Gouda	Sources and Monitors: A Trust Model for Peer-to-Peer Networks.	ICCCN	2008	DBLP DOI BibTeX RDF
15	Diego Ongaro, Alan L. Cox, Scott Rixner	Scheduling I/O in virtual machine monitors.	VEE	2008	DBLP DOI BibTeX RDF	machine virtualization, network I/O, xen, scheduling policy, server consolidation
15	Nader Mohamed, Ahlam Romaithi, Eiman Samahi, Maitha Kendi, Ebtisam Jabrie	Generating Web Monitors.	International Conference on Internet Computing	2008	DBLP BibTeX RDF
15	James S. Tiller, Bryan D. Fish	Packet Sniffers and Network Monitors.	Information Security Management Handbook, 6th ed.	2007	DBLP DOI BibTeX RDF
15	Sébastien Saudrais, Olivier Barais, Laurence Duchien, Noël Plouzeau	From formal specifications to QoS monitors.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
15	Katell Morin-Allory, Eric Gascard, Dominique Borrione	Synthesis of Property Monitors for Online Fault Detection.	J. Circuits Syst. Comput.	2007	DBLP DOI BibTeX RDF
15	Ambar A. Gadkari, S. Ramesh 0002	Automated Synthesis of Assertion Monitors using Visual Specifications	CoRR	2007	DBLP BibTeX RDF
15	Min-Chun Pan, Po-Chun Chen	Drop simulation/experimental verification and shock resistance improvement of TFT-LCD monitors.	Microelectron. Reliab.	2007	DBLP DOI BibTeX RDF
15	Peter Lammich, Markus Müller-Olm	Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors.	Arch. Formal Proofs	2007	DBLP BibTeX RDF
15	Pavel Avgustinov, Julian Tibble, Oege de Moor	A comparison of compilation techniques for trace monitors with free variables.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, program analysis, runtime verification, program monitoring
15	Jeffrey Shafer, David Carr, Aravind Menon, Scott Rixner, Alan L. Cox, Willy Zwaenepoel, Paul Willmann	Concurrent Direct Network Access for Virtual Machine Monitors.	HPCA	2007	DBLP DOI BibTeX RDF
15	Jin Zhang, Xiaohui Zhang, Jiangxin Wu	Genetic Simulated Annealing Algorithm for Optimal Deployment of Flow Monitors.	ICNC (4)	2007	DBLP DOI BibTeX RDF
15	Du Wan Cheun, Jeong Seop Bae, Won Young Jeon, Hao Yuan, Soo Dong Kim	A Practical Framework of Dynamic Monitors in Service-Oriented Computing.	ICEBE	2007	DBLP DOI BibTeX RDF
15	Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter 0001	Monitors for Usage Control.	IFIPTM	2007	DBLP DOI BibTeX RDF
15	Fabio Massacci, Katsiaryna Naliuka	Towards Practical Security Monitors of UML Policies for Mobile Applications.	POLICY	2007	DBLP DOI BibTeX RDF
15	Alison Marshall, Oleg S. Medvedev, Garik Markarian	Self management of chronic disease using mobile devices and Bluetooth monitors.	BODYNETS	2007	DBLP DOI BibTeX RDF
15	Kyoungwon Suh, Yang Guo 0001, James F. Kurose, Donald F. Towsley	Locating network monitors: Complexity, heuristics, and coverage.	Comput. Commun.	2006	DBLP DOI BibTeX RDF
15	Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi	Automated Online Monitoring of Distributed Applications through External Monitors.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	blackbox detection, temporal and combinatorial rules, Error detection, reliable multicast, monitor system
15	Brijesh Dongol	Derivation of Java Monitors.	ASWEC	2006	DBLP DOI BibTeX RDF
15	Chengchen Hu, Bin Liu 0001, Zhen Liu 0018, Shifang Gao, Dapeng Wu 0001	Optimal Deployment of Distributed Passive Measurement Monitors.	ICC	2006	DBLP DOI BibTeX RDF
15	Paul Laskowski, John Chuang	Network monitors and contracting systems: competition and innovation.	SIGCOMM	2006	DBLP DOI BibTeX RDF	commoditization, monitoring, innovation, contracts, incentives
15	Yu Lei 0001, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez	A State Exploration-Based Approach to Testing Java Monitors.	ISSRE	2006	DBLP DOI BibTeX RDF
15	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
15	Evan Cooke, Richard Mortier, Austin Donnelly, Paul Barham 0001, Rebecca Isaacs	Reclaiming Network-wide Visibility Using Ubiquitous Endsystem Monitors.	USENIX Annual Technical Conference, General Track	2006	DBLP BibTeX RDF
15	Christian Di Biagio, Guido Pennella, Anna Lomartire, Giovanni Cantone	Introduction to characterization of monitors for testing safety-critical software.	ICSOFT (1)	2006	DBLP BibTeX RDF
15	Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty	On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.	LOPSTR	2006	DBLP DOI BibTeX RDF
15	Sébastien Saudrais, Olivier Barais, Laurence Duchien	Using Model-Driven Engineering to generate QoS Monitors from a formal specification.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
15	Dugald Ralph Hutchings	Making Multiple Monitors More Manageable.		2006	RDF
15	Sachin P. Joglekar, Stephen R. Tate	ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Yoshiyuki Asai, Y. Shintani, M. Yamaguchi, M. Uemura, Masao Matsumoto, H. Kanamori	Evaluation of grey-scale standard display function as a calibration tool for diagnostic liquid crystal display monitors using psychophysical analysis.	Medical Biol. Eng. Comput.	2005	DBLP DOI BibTeX RDF
15	Byung-Sun Yang, Soo-Mook Moon, Kemal Ebcioglu	Lightweight monitors for the Java virtual machine.	Softw. Pract. Exp.	2005	DBLP DOI BibTeX RDF
15	Samuel O. Owusu, Qing Li, R. Russell Rhinehart	Run length-based control performance monitors: a comparison between two techniques.	ACC	2005	DBLP DOI BibTeX RDF
15	Katell Morin-Allory, Dominique Borrione	A proof of correctness for the construction of property monitors.	HLDVT	2005	DBLP DOI BibTeX RDF
15	Yoichi Shinoda, Ko Ikai, Motomu Itoh	Vulnerabilities of Passive Internet Threat Monitors.	USENIX Security Symposium	2005	DBLP BibTeX RDF
15	Jie Tao 0001, Jürgen Jeitner, Carsten Trinitis, Wolfgang Karl, Josef Weidendorfer	Comprehensive Cache Inspection with Hardware Monitors.	PaCT	2005	DBLP DOI BibTeX RDF
15	Steven Hand 0001, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Daniel J. Magenheimer	Are Virtual Machine Monitors Microkernels Done Right?	HotOS	2005	DBLP BibTeX RDF
15	Mustafa M. Tikir	Using Hardware Monitors to Automatically Improve Memory Performance.		2005	RDF
15	Snjezana Soltic, Andrew N. Chalmers	Modeling the effects of gamma on the colors displayed on cathode ray tube monitors.	J. Electronic Imaging	2004	DBLP DOI BibTeX RDF
15	Kate J. Garland, Jan M. Noyes	CRT monitors: Do they interfere with learning?	Behav. Inf. Technol.	2004	DBLP DOI BibTeX RDF
15	Kwang Wee Lee, Ashraf A. Kassim	Automated estimation of misconvergence in color monitors.	IEEE Trans. Consumer Electron.	2004	DBLP DOI BibTeX RDF
15	Snjezana Soltic, Andrew N. Chalmers, Radhika Jammalamadaka	Application of the CIECAM02 colour appearance model to predict the effect of gamma on the colours viewed on CRT monitors.	Signal Process. Image Commun.	2004	DBLP DOI BibTeX RDF
15	Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto	SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
15	Peter F. Sweeney, Matthias Hauswirth, Brendon Cahoon, Perry Cheng, Amer Diwan, David Grove, Michael Hind	Using Hardware Performance Monitors to Understand the Behavior of Java Applications.	Virtual Machine Research and Technology Symposium	2004	DBLP BibTeX RDF
15	Victor Avendaño, Víctor H. Champac, Joan Figueras	Signal integrity verification using high speed monitors.	ETS	2004	DBLP DOI BibTeX RDF
15	Adam Welc, Suresh Jagannathan, Antony L. Hosking	Transactional Monitors for Concurrent Objects.	ECOOP	2004	DBLP DOI BibTeX RDF