Search results for "monitors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Denis Caromel, Luis Mateu, Éric Tanter	Sequential Object Monitors.	ECOOP	2004	DBLP DOI BibTeX RDF
15	Sachin P. Joglekar, Stephen R. Tate	ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention.	ITCC (1)	2004	DBLP DOI BibTeX RDF
15	Jimena Rodríguez, Lacramioara Dranca, Alfredo Goñi, Arantza Illarramendi	A Wireless Application That Monitors ECG Signals On-Line: Architecture and Performance.	ICEIS (4)	2004	DBLP BibTeX RDF
15	Jimena Rodríguez, Lacramioara Dranca, Alfredo Goñi, Arantza Illarramendi	A Wireless Application That Monitors ECG Signals On-Line: Architecture and Performance.	ICEIS (Selected Papers)	2004	DBLP DOI BibTeX RDF
15	Ernst Scholtz	Observer-based monitors and distributed wave controllers for electromechanical disturbances in power systems.		2004	RDF
15	Koushik Sen, Grigore Rosu	Generating Optimal Monitors for Extended Regular Expressions.	RV@CAV	2003	DBLP DOI BibTeX RDF
15	Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Automatic Generation of Simulation Monitors from Quantitative Constraint Formula.	DATE	2003	DBLP DOI BibTeX RDF
15	Tim Foxon	A Roadmap to Success in Capacity Management (or - Why Real-time Monitors are a Waste of Time!).	Int. CMG Conference	2003	DBLP BibTeX RDF
15	Victor Page, Maurice Dixon, Peter Bielkowicz	Object-Oriented Graceful Evolution Monitors.	OOIS	2003	DBLP DOI BibTeX RDF
15	Koushik Sen, Grigore Rosu, Gul Agha	Generating Optimal Linear Temporal Logic Monitors by Coinduction.	ASIAN	2003	DBLP DOI BibTeX RDF
15	Maria Pia Fanti, Alessandro Giua, Carla Seatzu	Generalized mutual exclusion constraints and monitors for colored Petri nets.	SMC	2003	DBLP DOI BibTeX RDF
15	Maria Pia Fanti, Alessandro Giua, Carla Seatzu	A deadlock prevention method for railway networks using monitors for colored Petri nets.	SMC	2003	DBLP DOI BibTeX RDF
15	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Inductive Proof Outlines for Monitors in Java.	FMOODS	2003	DBLP DOI BibTeX RDF
15	Michael J. Flynn, Philip M. Tchou	Accurate measurement of monochrome luminance palettes for the calibration of medical LCD monitors.	Medical Imaging: Image-Guided Procedures	2003	DBLP DOI BibTeX RDF
15	Radhakrishnan Sundaresan, Mario Lauria, Tahsin M. Kurç, Srinivasan Parthasarathy 0001, Joel H. Saltz	Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model.	HPDC	2003	DBLP DOI BibTeX RDF
15	Joshua Levy, Hassen Saïdi, Tomás E. Uribe	Combining Monitors for Runtime System Verification.	RV@FLoC	2002	DBLP DOI BibTeX RDF
15	Mart Min, Toomas Parve, Vello Kukk, Aivo Kuhlberg	An implantable analyzer of bio-impedance dynamics: mixed signal approach [telemetric monitors].	IEEE Trans. Instrum. Meas.	2002	DBLP DOI BibTeX RDF
15	Stephen D. Wolthusen	Access and Use Control using Externally Controlled Reference Monitors.	ACM SIGOPS Oper. Syst. Rev.	2002	DBLP DOI BibTeX RDF
15	Michael D. Lemmon, Kevin X. He	Liveness enforcing monitors for safe and controllable Petri nets.	CDC	2002	DBLP DOI BibTeX RDF
15	Brett Glass	Log Monitors in BSD UNIX.	BSDCon	2002	DBLP BibTeX RDF
15	Ernesto Suaste-Gómez, Arturo Zuoiga, Rosalinda Martinez	Effect evoked by luminance and color of PC monitors in the pupillary responses and retinal illuminances.	Human Vision and Electronic Imaging	2002	DBLP DOI BibTeX RDF
15	Klaus Havelund, Grigore Rosu	Synthesizing Monitors for Safety Properties.	TACAS	2002	DBLP DOI BibTeX RDF
15	Marc Geilen	On the Construction of Monitors for Temporal Logic Properties.	RV@CAV	2001	DBLP DOI BibTeX RDF
15	H. Christian Davidson, David J. Johnston, Mark E. Christian, H. Ric Harnsberger	Comparison of radiographic image quality from four digitization devices as viewed on computer monitors.	J. Digit. Imaging	2001	DBLP DOI BibTeX RDF
15	Hiroshi Kondoh, Kikuo Hatazawa, Takahiro Kozuka	The performance of general-purpose colour CRT monitors in PACS environment.	Comput. Methods Programs Biomed.	2001	DBLP DOI BibTeX RDF
15	David Dice	Implementing Fast Java Monitors with Relaxed-Locks.	Java Virtual Machine Research and Technology Symposium	2001	DBLP BibTeX RDF
15	C. Mohan 0001	Application Servers: Born-Again TP Monitors for the Web? (Panel Abstract).	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
15	Hiroshi Kondoh, Hiromu Nishitani, Takeshi Washiashi	Users' behavior and performance of general-purpose color CRT monitors of PACS in the wards.	CARS	2001	DBLP BibTeX RDF
15	Janusz Sosnowski, Rafal Jurkiewicz	Using On-Chip Monitors in Testing CPU Microarchitecture.	LATW	2001	DBLP BibTeX RDF
15	Carlos Ribeiro, Andre Zuquete, Paulo Ferreira 0001	Enforcing Obligation with Security Monitors.	ICICS	2001	DBLP DOI BibTeX RDF
15	Umberto Tachinardi, Marina de Sà Rebelo, Pedro Paulo de Magalhães Oliveira Jr., Paulo Eduardo Pilon	Real time information from bedside monitors as part of a web-based patient record.	AMIA	2001	DBLP BibTeX RDF
15	Jim S. Tiller, Bryan D. Fish	Packet Sniffers and Network Monitors, Part 2.	Inf. Secur. J. A Glob. Perspect.	2000	DBLP DOI BibTeX RDF
15	Jim S. Tiller, Bryan D. Fish	Packet Sniffers and Network Monitors.	Inf. Secur. J. A Glob. Perspect.	2000	DBLP DOI BibTeX RDF
15	Constantino Perez-Vega, José M. Zamanillo, Juan S. Ipiña	Assessment of ionizing radiation from PC monitors and TV receivers.	IEEE Trans. Consumer Electron.	2000	DBLP DOI BibTeX RDF
15	Jorng-Tzong Horng, Jye Lu	Modularized design for wrappers/monitors in data warehouse systems.	J. Syst. Softw.	2000	DBLP DOI BibTeX RDF
15	George Spanoudakis, Andrea Zisman	Information Monitors: An Architecture Based on XML.	OOIS	2000	DBLP DOI BibTeX RDF
15	Bryan Roger Buck, Jeffrey K. Hollingsworth	Using Hardware Performance Monitors to Isolate Memory Bottlenecks.	SC	2000	DBLP DOI BibTeX RDF
15	William N. Robinson, Suzanne D. Pawlowski	Managing Requirements Inconsistency with Development Goal Monitors.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	inconsistency and conflict management, process modeling and monitoring, Requirements engineering, meta-modeling, CASE
15	Jorng-Tzong Horng, Jye Lu, Baw-Jhiune Liu, Ren-Dar Yang	The Design and Implementation of Modularized Wrappers/ Monitors in a Data Warehouse.	DaWaK	1999	DBLP DOI BibTeX RDF
15	Minoru Fujishima, Yuji Kiniwa, Koichiro Hoh	Band runlength coding for low-power continuous micro-monitors.	CICC	1999	DBLP DOI BibTeX RDF
15	Soroush Momen-Pour, Alan Wagner	Java Threads and Monitors.	PDPTA	1999	DBLP BibTeX RDF
15	Andreas Krall, Mark Probst	Monitors and Exceptions: How to Implement Java Efficiently.	Concurr. Pract. Exp.	1998	DBLP DOI BibTeX RDF
15	Francesco Basile, Pasquale Chiacchio, Alessandro Giua	On the choice of suboptimal monitors for supervisory control of Petri nets.	SMC	1998	DBLP DOI BibTeX RDF
15	Mei-Ling Hsu, Tei-Wei Kuo	Building Soft Real-Time Monitors Based on Software Reuse.	ICECCS	1998	DBLP DOI BibTeX RDF
15	Laura K. Heermann, Thomas D. East, Alejandra M. Lugo, Richard L. Bradshaw	Automated key process monitors for patient care documentation.	AMIA	1998	DBLP BibTeX RDF
15	Thomas Netsch, Matthias Biel, Heinz-Otto Peitgen	Display of High-Resolution Digital Mammograms on CRT Monitors.	Digital Mammography / IWDM	1998	DBLP DOI BibTeX RDF
15	Timothy L. Washowich, Scott C. Williams, Londe A. Richardson, Gary E. Simmons, Ninh V. Dao, Thomas W. Allen, G. Christopher Hammet, Michael J. Morris	Detection of interstitial lung abnormalities on picture archive and communication system video monitors.	J. Digit. Imaging	1997	DBLP DOI BibTeX RDF
15	Martin Weibrecht, Gerhard Spekowius, Peter Quadflieg, Hartwig R. Blume	Image-quality assessment of monochrome monitors for medical soft copy display.	Medical Imaging: Image Processing	1997	DBLP DOI BibTeX RDF
15	Nicola H. Strickland, David J. Allison, Marc J. Deshaies	Design for the optimal arrangement of magnetic resonance images on PACS monitors.	Medical Imaging: Image Processing	1997	DBLP DOI BibTeX RDF
15	Joachim Deisinger, Carolina Cruz-Neira, Oliver Riedel, Jürgen Symanzik	The Effect of Different Viewing Devices for the Sense of Presence of Immersion in Virtual Environments: A Comparison of Stereoprojections Based on Monitors, HMDs and Screens.	HCI (2)	1997	DBLP BibTeX RDF
15	Edmund Jackson, Robert Spindley, Mark C. Sinclair, Simon Reader	SS7 Network Management Using Link Monitors.	ICC (2)	1997	DBLP DOI BibTeX RDF
15	Jae Woo Lee, Sungzoon Cho	Learning the correlation of beam position monitors for Pohang synchrotron light source using neural networks.	ICNN	1997	DBLP DOI BibTeX RDF
15	Helmut Kaufmann, Hans-Jörg Schek	Extending TP-Monitors for Intra-Transaction Parallelism.	PDIS	1996	DBLP DOI BibTeX RDF
15	Ronald A. Olsson, Carole M. McNamee	Tools for teaching CCRs, monitors, and CSP concurrent programming concepts.	ACM SIGCSE Bull.	1995	DBLP DOI BibTeX RDF
15	David M. Parsons, Yongmin Kim 0001, David R. Haynor	Quality control of cathode-ray tube monitors for medical imaging using a simple photometer.	J. Digit. Imaging	1995	DBLP DOI BibTeX RDF
15	Neil Harrison	Yield projection from defect monitors: the influence of gross defects [BiCMOS process].	DFT	1995	DBLP DOI BibTeX RDF
15	Dieter Gawlick	High Performance TP Monitors - Do We Still Need to Develop Them?	IEEE Data Eng. Bull.	1994	DBLP BibTeX RDF
15	Ralph Butler, Ewing L. Lusk	Monitors, Messages, and Clusters: The p4 Parallel Programming System.	Parallel Comput.	1994	DBLP DOI BibTeX RDF
15	Douglas C. Schmidt	Safe and effective error rate monitors for SS7 signaling links.	IEEE J. Sel. Areas Commun.	1994	DBLP DOI BibTeX RDF
15	Thomas W. Rauber, M. M. Barata, Adolfo Steiger-Garção	Learning of Specific Process Monitors in Machine Tool Supervision.	AIRTC	1994	DBLP DOI BibTeX RDF
15	Florian Leitner, Reinhold Haux	Systematische Planung Klinischer Dokumentationen am Beispiel eines Monitors für ein Klinisches Register.	GMDS	1994	DBLP BibTeX RDF
15	Keith Baker	QTAG: A Standard for Test Fixture Based IDDQ/ISSQ Monitors.	ITC	1994	DBLP DOI BibTeX RDF
15	Glen A. Reece, Austin Tate	Synthesizing Protection Monitors from Causal Structure.	AIPS	1994	DBLP BibTeX RDF
15	Monica Sandström, Kjell Hansson Mild, Mattias Sandström, André Berglund	External power frequency magnetic field-induced jitter on computer monitors.	Behav. Inf. Technol.	1993	DBLP DOI BibTeX RDF
15	Laurel Wentworth	Are TP Monitors getting in the way of Distributed Transaction Processing.	HPTS	1993	DBLP BibTeX RDF
15	Terry Dwyer	TP Monitors Defeat OS-Based Transactional Systems.	HPTS	1993	DBLP BibTeX RDF
15	Erwin M. Thurner	Performance Measurement Using System Monitors.	Performance/SIGMETRICS Tutorials	1993	DBLP DOI BibTeX RDF
15	James C. Fackler, Isaac S. Kohane	Integration of intermittent clinical data with continuous data from bedside monitors.	CBMS	1993	DBLP DOI BibTeX RDF
15	Umeshwar Dayal, Hector Garcia-Molina, Meichun Hsu, Ben Kao, Ming-Chien Shan	Third Generation TP Monitors: A Database Challenge.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
15	Iaakov Exman	Attracting Interesting Events to Sparse Monitors in Massively Parallel Systems.	PARCO	1993	DBLP BibTeX RDF
15	Per Brinch Hansen	Monitors and Concurrent Pascal: A Personal History.	HOPL Preprints	1993	DBLP DOI BibTeX RDF
15	Ralph C. Hilzer Jr.	Synchronization of the Producer/Consumer Problem using Semaphores, Monitors, and the Ada Rendezvous.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF	Ada
15	Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki	A formal description of monitors by CCS.	Syst. Comput. Jpn.	1992	DBLP DOI BibTeX RDF
15	Neil Dunstan	Building monitors with UNIX and C.	ACM SIGCSE Bull.	1991	DBLP DOI BibTeX RDF
15	Thomas G. Speer, Mark W. Storm	Digital's Transaction Processing Monitors.	Digit. Tech. J.	1991	DBLP BibTeX RDF
15	Amir Kishon, Paul Hudak, Charles Consel	Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.	PLDI	1991	DBLP DOI BibTeX RDF
15	Nancy L. Kelem, Richard J. Feiertag	A Separation Model for Virtual Machine Monitors.	S&P	1991	DBLP DOI BibTeX RDF
15	Philip A. Bernstein	Transaction Processing Monitors.	Commun. ACM	1990	DBLP DOI BibTeX RDF
15	Michael Factor, David Gelernter	The process trellis: a software architecture for intelligent monitors.	TAI	1989	DBLP DOI BibTeX RDF
15	Janusz Sosnowski	Concurrent Error Detection Using Signature Monitors.	Fehlertolerierende Rechensysteme	1989	DBLP DOI BibTeX RDF
15	Bradley J. Lucier	Performance Evaluation for Multiprocessors Programmed Using Monitors.	SIGMETRICS	1988	DBLP DOI BibTeX RDF
15	Michael Soha	A distributed approach to lan monitoring using intelligent high performance monitors.	IEEE Netw.	1987	DBLP DOI BibTeX RDF
15	Avi Rushinek, Sara F. Rushinek	The effects of communication monitors on user satisfaction.	Inf. Process. Manag.	1986	DBLP DOI BibTeX RDF
15	A. Mukherjee, Y. V. Venkatesh	Digital color reproduction on color television monitors.	Comput. Vis. Graph. Image Process.	1986	DBLP DOI BibTeX RDF
15	P. D. Terry	A Modula-2 Kernel for Supporting Monitors.	Softw. Pract. Exp.	1986	DBLP DOI BibTeX RDF
15	Robert D. Sorkin, David D. Woods	Systems with Human Monitors: A Signal Detection Analysis.	Hum. Comput. Interact.	1985	DBLP DOI BibTeX RDF
15	S. R. Nichols	A Decision Process for Hardware Monitors.	Int. CMG Conference	1985	DBLP BibTeX RDF
15	Sakti Pramanik, Bernhard Weinberg	The implementation kit with monitors.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	David E. Boddy	On the design of monitors with priority conditions.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
15	Branislav Hrúz	Prozeßgerechter Entwurf von Monitoren in Echtzeitbetriebssystemen / Process-considering design of real-time operating system monitors.	Elektron. Rechenanlagen	1984	DBLP DOI BibTeX RDF
15	Ariel Pashtan, Elizabeth A. Unger	Resource Monitors: A Design Methodology for Operating Systems.	Softw. Pract. Exp.	1984	DBLP DOI BibTeX RDF
15	Robert W. McNitt, Kimberly A. Sleeper, Ashok K. Thareja	On the Effectiveness of Hardware Line Monitors in Estimating Queueing Delays in SNA Networks.	Int. CMG Conference	1984	DBLP BibTeX RDF
15	David E. Boddy	Implementing data abstractions and monitors in UCSD Pascal.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
15	Peter Wegner, Scott A. Smolka	Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives.	IEEE Trans. Software Eng.	1983	DBLP DOI BibTeX RDF
15	Walter P. Kraslawsky	Telecommunications Monitors and Queue Measurement.	Int. CMG Conference	1983	DBLP BibTeX RDF
15	K. H. Kim	Approaches to Mechanization of the Conversation Scheme Based on Monitors.	IEEE Trans. Software Eng.	1982	DBLP DOI BibTeX RDF
15	Roger Clarke	Teleprocessing Monitors and Program Structure.	Aust. Comput. J.	1982	DBLP BibTeX RDF
15	J. Mack Adams, Andrew P. Black	On Proof Rules for Monitors.	ACM SIGOPS Oper. Syst. Rev.	1982	DBLP DOI BibTeX RDF
15	John H. Howard	Reply to "On Proof Rules for Monitors".	ACM SIGOPS Oper. Syst. Rev.	1982	DBLP DOI BibTeX RDF
15	Bjarne Stroustrup	An Experiment with the Interchangeability of Processes and Monitors.	Softw. Pract. Exp.	1982	DBLP DOI BibTeX RDF