Search results for "monitors"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Ahmed Benhassain, Florian Cacho, Vincent Huard, Lorena Anghel	Early failure prediction by using in-situ monitors: Implementation and application results.	ERMAVSS@DATE	2016	DBLP BibTeX RDF
15	Mahroo Zandrahimi, Zaid Al-Ars, Philippe Debaud, Armand Castillejo	Challenges of using on-chip performance monitors for process and environmental variation compensation.	DATE	2016	DBLP BibTeX RDF
15	Martin Omaña 0001, A. Fiore, Cecilia Metra	Inverters' self-checking monitors for reliable photovoltaic systems.	DATE	2016	DBLP BibTeX RDF
15	Michael D. Taylor 0004	Low-cost air quality monitors: Modeling and characterization of sensor drift in optical particle counters.	IEEE SENSORS	2016	DBLP DOI BibTeX RDF
15	D. K. Arvind 0001, Janek Mann, Andrew Bates, Konstantin Kotsev	The AirSpeck Family of Static and Mobile Wireless Air Quality Monitors.	DSD	2016	DBLP DOI BibTeX RDF
15	Dan Williams, Ricardo Koller	Unikernel Monitors: Extending Minimalism Outside of the Box.	HotCloud	2016	DBLP BibTeX RDF
15	Mounir Assaf, David A. Naumann	Calculational Design of Information Flow Monitors.	CSF	2016	DBLP DOI BibTeX RDF
15	Limin Jia 0001, Hannah Gommerstadt, Frank Pfenning	Monitors and blame assignment for higher-order session types.	POPL	2016	DBLP DOI BibTeX RDF
15	David M. Cerna, Wolfgang Schreiner, Temur Kutsia	Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.	SCSS	2016	DBLP DOI BibTeX RDF
15	Yong Zhao, Hans G. Kerkhoff	Highly Dependable Multi-processor SoCs Employing Lifetime Prediction Based on Health Monitors.	ATS	2016	DBLP DOI BibTeX RDF
15	Zeinab Mahmoudi, Dimitri Boiroux, Morten Hagdrup, Kirsten Nørgaard, Niels Kjølstad Poulsen, Henrik Madsen, John Bagterp Jørgensen	Application of the continuous-discrete extended Kalman filter for fault detection in continuous glucose monitors for type 1 diabetes.	ECC	2016	DBLP DOI BibTeX RDF
15	Adrian Francalanza	A Theory of Monitors - (Extended Abstract).	FoSSaCS	2016	DBLP DOI BibTeX RDF
15	Ines Frederix, Supraja Sankaran, Karin Coninx, Paul Dendale	MobileHeart, a mobile smartphone-based application that supports and monitors coronary artery disease patients during rehabilitation.	EMBC	2016	DBLP DOI BibTeX RDF
15	Lukás Smital, Clifton R. Haider, Pavel Leinveber, Pavel Jurák, Barry K. Gilbert, David R. Holmes 0001	Towards real-time QRS feature extraction for wearable monitors.	EMBC	2016	DBLP DOI BibTeX RDF
15	Zeinab Mahmoudi, Sabrina Lyngbye Wendt, Dimitri Boiroux, Morten Hagdrup, Kirsten Nørgaard, Niels Kjølstad Poulsen, Henrik Madsen, John Bagterp Jørgensen	Comparison of three nonlinear filters for fault detection in continuous glucose monitors.	EMBC	2016	DBLP DOI BibTeX RDF
15	Ahmed Benhassain, Souhir Mhira, Florian Cacho, Vincent Huard, Lorena Anghel	In-situ slack monitors: taking up the challenge of on-die monitoring of variability and reliability.	IVSW	2016	DBLP DOI BibTeX RDF
15	Radu Velea, Noel Gordon	Comparison of color profile gamut coverage for computer monitors.	ICITST	2016	DBLP DOI BibTeX RDF
15	Fengzi Wang, Xinning Zhu, Jiansong Miao	Semantic Trajectories Based Social Relationships Discovery Using WiFi Monitors.	BigCom	2016	DBLP DOI BibTeX RDF
15	Ghazanfar Ali, Ahmed Badawy, Hans G. Kerkhoff	Accessing on-chip temperature health monitors using the IEEE 1687 standard.	ICECS	2016	DBLP DOI BibTeX RDF
15	Abigail Cauchi, Christian Colombo 0001, Adrian Francalanza, Mark Micallef, Gordon J. Pace	Using gherkin to extract tests and monitors for safer medical device interaction design.	EICS	2016	DBLP DOI BibTeX RDF
15	Szu-Pang Mu, Wen-Hsiang Chang, Mango C.-T. Chao, Yi-Ming Wang, Ming-Tung Chang, Min-Hsiu Tsai	Statistical methodology to identify optimal placement of on-chip process monitors for predicting fmax.	ICCAD	2016	DBLP DOI BibTeX RDF
15	Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi	Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.	HotNets	2016	DBLP DOI BibTeX RDF
15	Claudio Crema, Alessandro Depari, Alessandra Flammini, Emiliano Sisinni, Angelo Vezzoli	The WearPhone: Changing smartphones into multichannel vital signs monitors.	MeMeA	2016	DBLP DOI BibTeX RDF
15	Mitsumasa Nakajima, Naru Nemoto, Keita Yamaguchi, Joji Yamaguchi, Kenya Suzuki, Toshikazu Hashimoto	In-band OSNR monitors comprising programmable delay line interferometer integrated with wavelength selective switch by spatial and planar optical circuit.	OFC	2016	DBLP BibTeX RDF
15	Joanne R. Loos, Elizabeth J. Davidson	Wearable Health Monitors and Physician-Patient Communication: The Physician's Perspective.	HICSS	2016	DBLP DOI BibTeX RDF
15	Syed Rafay Hasan, Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla	Translating circuit behavior manifestations of hardware Trojans using model checkers into run-time Trojan detection monitors.	AsianHOST	2016	DBLP DOI BibTeX RDF
15	Lorena Anghel, Ahmed Benhassain, Ajith Sivadasan, Florian Cacho, Vincent Huard	Early system failure prediction by using aging in situ monitors: Methodology of implementation and application results.	VTS	2016	DBLP DOI BibTeX RDF
15	Antonio Moreno-Delgado, Francisco Durán 0001, José Meseguer 0001	Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications.	WRLA	2016	DBLP DOI BibTeX RDF
15	Elena Esposito, Saverio De Vito, Maria Salvato, Grazia Fattoruso, V. Bright, R. L. Jones, Olalekan A. M. Popoola	Stochastic Comparison of Machine Learning Approaches to Calibration of Mobile Air Quality Monitors.	Sensors	2016	DBLP DOI BibTeX RDF
15	Zohreh Alavi	Rational-Based Visual Planning Monitors.	IJCAI	2016	DBLP BibTeX RDF
15	Zerui Li, Yu Kang 0001, Wenjun Lv, Yun-Bo Zhao	Location problem for traffic emission monitors.	HSI	2016	DBLP DOI BibTeX RDF
15	Michael D. Taylor 0004	Calibration and Characterization of Low-Cost Fine Particulate Monitors and their Effect on Individual Empowerment.		2016	DOI RDF
15	Jason H. Rife	Comparing performance bounds for chi-square monitors with parameter uncertainty.	IEEE Trans. Aerosp. Electron. Syst.	2015	DBLP DOI BibTeX RDF
15	Adrian Francalanza, Aldrin Seychell	Synthesising correct concurrent runtime monitors.	Formal Methods Syst. Des.	2015	DBLP DOI BibTeX RDF
15	E. Salimi, R. S. Sreenivas	On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
15	Bruce R. Schatz	National Surveys of Population Health: Big Data Analytics for Mobile Health Monitors.	Big Data	2015	DBLP DOI BibTeX RDF
15	M. Hari Prasad, Gopika Vinod, V. V. S. Sanyasi Rao	Risk management of NPPs using risk monitors.	Int. J. Syst. Assur. Eng. Manag.	2015	DBLP DOI BibTeX RDF
15	Volker Diekert, Anca Muscholl, Igor Walukiewicz	A Note on Monitors and Büchi automata.	CoRR	2015	DBLP BibTeX RDF
15	Adrian Dorado, Genaro Saavedra, Jorge Sola-Pikabea, Manuel Martínez-Corral	Integral Imaging Monitors with an Enlarged Viewing Angle.	J. Inform. and Commun. Convergence Engineering	2015	DBLP DOI BibTeX RDF
15	Sarani Bhattacharya, Debdeep Mukhopadhyay	Who watches the watchmen? : Utilizing Performance Monitors for Compromising keys of RSA on Intel Platforms.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
15	Devu Manikantan Shila, Vivek Venugopalan, Cameron D. Patterson	Enhancing Trust in Reconfigurable Based Hardware Systems with Tags and Monitors.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
15	Daniel K. Freeman, Ronald D. Gatzke, Georgios Mallas, Yu Chen, Chris J. Brouse	Saturation of the Right-Leg Drive Amplifier in Low-Voltage ECG Monitors.	IEEE Trans. Biomed. Eng.	2015	DBLP DOI BibTeX RDF
15	Katherine Albrecht, Liz McIntyre	Privacy Nightmare: When Baby Monitors Go Bad [Opinion].	IEEE Technol. Soc. Mag.	2015	DBLP DOI BibTeX RDF
15	Tilman Wolf, Harikrishnan Kumarapillai Chandrikakutty, Kekai Hu, Deepak Unnikrishnan, Russell Tessier	Securing Network Processors with High-Performance Hardware Monitors.	IEEE Trans. Dependable Secur. Comput.	2015	DBLP DOI BibTeX RDF
15	Khalid Babutain, Saied Alaklobi, Anwar Alghamdi, Sreela Sasi	Automated Surveillance of Computer Monitors in Labs.	ICACCI	2015	DBLP DOI BibTeX RDF
15	Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise	Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes.	AsiaCCS	2015	DBLP DOI BibTeX RDF
15	Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen 0007, Dejan Nickovic	From signal temporal logic to FPGA monitors.	MEMOCODE	2015	DBLP DOI BibTeX RDF
15	Kyungchul Kwak, Sungpo Bae, Jinyoung Yang, Donghyun Kwon	A video test pattern generator for evaluating 4K UHD video monitors.	ICCE-Berlin	2015	DBLP DOI BibTeX RDF
15	Volker Diekert, Anca Muscholl, Igor Walukiewicz	A Note on Monitors and Büchi Automata.	ICTAC	2015	DBLP DOI BibTeX RDF
15	M. Saliva, Florian Cacho, Vincent Huard, X. Federspiel, D. Angot, Ahmed Benhassain, Alain Bravaix, Lorena Anghel	Digital circuits reliability with in-situ monitors in 28nm fully depleted SOI.	DATE	2015	DBLP BibTeX RDF
15	Jinyong Lee, Yongje Lee, Hyungon Moon, Ingoo Heo, Yunheung Paek	Extrax: security extension to extract cache resident information for snoop-based external monitors.	DATE	2015	DBLP BibTeX RDF
15	Aslan Askarov, Stephen Chong, Heiko Mantel	Hybrid Monitors for Concurrent Noninterference.	CSF	2015	DBLP DOI BibTeX RDF
15	Elena Berdnikova, Andrey V. Lyamin, Anton Skshidlevsky	Analysis of Heart Rate Monitors for Evaluating Student's Mental Working Capacity.	ICWL Workshops	2015	DBLP DOI BibTeX RDF
15	Pedro Manuel Pinto Silva, João P. Silva Cunha	SenseMyHeart: A cloud service and API for wearable heart monitors.	EMBC	2015	DBLP DOI BibTeX RDF
15	Catalin Hritcu	Micro-Policies: Formally Verified, Tag-Based Security Monitors.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
15	Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt	Expressing contract monitors as patterns of communication.	ICFP	2015	DBLP DOI BibTeX RDF
15	Filip Plesinger, Petr Klimes, Josef Halámek, Pavel Jurák	False Alarms in Intensive Care Unit Monitors: Detection of Life-threatening Arrhythmias Using Elementary Algebra, Descriptive Statistics and Fuzzy Logic. (PDF / PS)	CinC	2015	DBLP DOI BibTeX RDF
15	Roderick W. Treskes, Enno T. Van der Velde, Daniëlle Eindhoven, Martin J. Schalij	Comparison of four smartphone compatible blood pressure monitors. (PDF / PS)	CinC	2015	DBLP DOI BibTeX RDF
15	Philip A. Catherwood, David Branagh, Dewar D. Finlay, James A. D. McLaughlin	Future Directions of Power Sources for Ambulatory ECG Monitors. (PDF / PS)	CinC	2015	DBLP DOI BibTeX RDF
15	Ahmed Benhassain, Florian Cacho, Vincent Huard, M. Saliva, Lorena Anghel, C. R. Parthasarathy, Abhishek Jain 0003, Fabien Giner	Timing in-situ monitors: Implementation strategy and applications results.	CICC	2015	DBLP DOI BibTeX RDF
15	Sara Zermani, Catherine Dezan, Reinhardt Euler, Jean-Philippe Diguet	Bayesian network-based framework for the design of reconfigurable health management monitors.	AHS	2015	DBLP DOI BibTeX RDF
15	Zhenhai Lin	Mission planning for electromagnetic environment monitors satellite based on simulated annealing algorithm.	CCECE	2015	DBLP DOI BibTeX RDF
15	Klaus Havelund, Giles Reger	Specification of Parametric Monitors.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
15	Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach	Micro-Policies: Formally Verified, Tag-Based Security Monitors.	IEEE Symposium on Security and Privacy	2015	DBLP DOI BibTeX RDF
15	Sarani Bhattacharya, Debdeep Mukhopadhyay	Who Watches the Watchmen?: Utilizing Performance Monitors for Compromising Keys of RSA on Intel Platforms.	CHES	2015	DBLP DOI BibTeX RDF
15	Mohamed Almorsy Abdelrazek, John Grundy 0001, Amani S. Ibrahim	Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors.	ICECCS	2015	DBLP DOI BibTeX RDF
15	Artur Bal, Andrzej Kordecki, Henryk Palus, Mariusz Frackiewicz	Evaluating of Selected Systems for Colorimetric Calibration of LCD Monitors.	ICMMI	2015	DBLP DOI BibTeX RDF
15	Tim Todman, Stephan Stilkerich, Wayne Luk	In-circuit temporal monitors for runtime verification of reconfigurable designs.	DAC	2015	DBLP DOI BibTeX RDF
15	Felipe de S. Farias, Waldir Sabino da Silva Jr., Eddie Batista de Lima Filho, Wheidima C. Melo	Automated content detection on TVs and computer monitors.	GCCE	2015	DBLP DOI BibTeX RDF
15	Peggy J. Mancuso, Sahiti Myneni	Responders and Nonresponders: Nurse Practitioner and Physical Therapist Personal Perceptions of Activity Monitors for Patient Use.	AMIA	2015	DBLP BibTeX RDF
15	Bas Testerink, Nils Bulling, Mehdi Dastani	Security and Robustness for Collaborative Monitors.	COIN@AAMAS/IJCAI	2015	DBLP DOI BibTeX RDF
15	Chang Liu, Guiyuan Jiang, Jigang Wu, Meixia Zhu, Lijia Tu	Efficient Heuristic for Placing Monitors on Flow Networks.	PAAP	2015	DBLP DOI BibTeX RDF
15	Ana M. Casado, José Ignacio Peláez	Intangible management monitors and tools: Reviews.	Expert Syst. Appl.	2014	DBLP DOI BibTeX RDF
15	Lawrence Chow, Nicholas Bambos, Alex Gilman, Ajay Chander	Personalized Monitors for Real-Time Detection of Physiological States.	Int. J. E Health Medical Commun.	2014	DBLP DOI BibTeX RDF
15	Federico Raspini, Sandro Moretti, Alfio Fumagalli, Alessio Rucci, Fabrizio Novali, Alessandro Ferretti, Claudio Maria Prati, Nicola Casagli	The COSMO-SkyMed Constellation Monitors the Costa Concordia Wreck.	Remote. Sens.	2014	DBLP DOI BibTeX RDF
15	Tuck-Boon Chan, Puneet Gupta 0001, Andrew B. Kahng, Liangzhen Lai	Synthesis and Analysis of Design-Dependent Ring Oscillator (DDRO) Performance Monitors.	IEEE Trans. Very Large Scale Integr. Syst.	2014	DBLP DOI BibTeX RDF
15	Francis Y. L. Chin, Marek Chrobak, Li Yan	Algorithms for Placing Monitors in a Flow Network.	Algorithmica	2014	DBLP DOI BibTeX RDF
15	Neal Patwari, Lara Brewer, Quinn Tate, Ossi Kaltiokallio, Maurizio Bocca	Breathfinding: A Wireless Network That Monitors and Locates Breathing in a Home.	IEEE J. Sel. Top. Signal Process.	2014	DBLP DOI BibTeX RDF
15	Kurt Barbé, Yuriy Kurylyak, Francesco Lamonaca	Logistic ordinal regression for the calibration of oscillometric blood pressure monitors.	Biomed. Signal Process. Control.	2014	DBLP DOI BibTeX RDF
15	Christophe Scholliers, Éric Tanter, Wolfgang De Meuter	Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
15	Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli, Fabio Duchi, Giuseppe Vella	A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection.	ISORC	2014	DBLP DOI BibTeX RDF
15	Dirk Wilhelm, Silvano B. Reiser, Nils Kohn, Michael Witte, Ulrich Leiner, Lothar Mühlbach, Detlef Ruschin, Wolfgang Reiner, Hubertus Feussner	Comprehensive evaluation of latest 2D/3D monitors and comparison to a custom-built 3D mirror-based display in laparoscopic surgery.	SD&A	2014	DBLP DOI BibTeX RDF
15	Gábor Pék, Andrea Lanzi, Abhinav Srivastava, Davide Balzarotti, Aurélien Francillon, Christoph Neumann 0001	On the feasibility of software attacks on commodity virtual machine monitors via direct device assignment.	AsiaCCS	2014	DBLP DOI BibTeX RDF
15	DaeHee Jang, Hojoon Lee 0001, Minsu Kim, Daehyeok Kim, Daegyeong Kim, Brent ByungHoon Kang	ATRA: Address Translation Redirection Attack against Hardware-based External Monitors.	CCS	2014	DBLP DOI BibTeX RDF
15	Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri	Self-Adaptive Monitors for Multiparty Sessions.	PDP	2014	DBLP DOI BibTeX RDF
15	Josep Altet, Eduardo Aldrete-Vidrio, Ferran Reverter, Didac Gómez, José Luis González 0001, Marvin Onabajo, José Silva-Martínez, B. Martineau, X. Perpiñà, Louay Abdallah, Haralampos-G. D. Stratigopoulos, Xavier Aragonès, Xavier Jordà, Miquel Vellvehí, Stefan Dilhaire, Salvador Mir, Diego Mateo	Review of temperature sensors as monitors for RF-MMW built-in testing and self-calibration schemes.	MWSCAS	2014	DBLP DOI BibTeX RDF
15	Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino	A cross-level verification methodology for digital IPs augmented with embedded timing monitors.	DATE	2014	DBLP DOI BibTeX RDF
15	Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck	Specifying Safety Monitors for Autonomous Systems Using Model-Checking.	SAFECOMP	2014	DBLP DOI BibTeX RDF
15	Jakub Parák, Ilkka Korhonen	Evaluation of wearable consumer heart rate monitors based on photopletysmography.	EMBC	2014	DBLP DOI BibTeX RDF
15	Christian Colombo 0001, Yliès Falcone	Organising LTL Monitors over Distributed Systems with a Global Clock.	RV	2014	DBLP DOI BibTeX RDF
15	Ahmed Gomaa, Chaogui Zhang, Muhammad Hasan, Mary Beth Roche, Shaun Hynes	Supportive Glucose Sensing Mobile Application to Improve the Accuracy of Continuous Glucose Monitors.	ICSH	2014	DBLP DOI BibTeX RDF
15	Justin Cappos, Richard S. Weiss	Teaching the security mindset with reference monitors.	SIGCSE	2014	DBLP DOI BibTeX RDF
15	Bonkon Koo, Yunjun Nam, Seungjin Choi	A hybrid EOG-P300 BCI with dual monitors.	BCI	2014	DBLP DOI BibTeX RDF
15	Jorge Fombellida, L. Felipe Blázquez, Fernando Aller, Svetlana Vrublevskaya, Eduardo Valtuille	Neural network based radioisotope discrimination on polyvinyl toluene radiation portal monitors.	MED	2014	DBLP DOI BibTeX RDF
15	Francesco Basile, Luigi Piroddi, Roberto Cordone	Decentralized Monitors Design for Petri Net Models.	WODES	2014	DBLP DOI BibTeX RDF
15	Lawrence T. Clark, David Kidd, Vineet Agrawal, Samuel Leshner, Gokul Krishnan	Independent N and P process monitors for body bias based process corner correction.	CICC	2014	DBLP DOI BibTeX RDF
15	Yildiz Sinangil, Sabrina M. Neuman, Mahmut E. Sinangil, Nathan Ickes, George Bezerra, Eric Lau, Jason E. Miller, Henry Hoffmann, Srinivas Devadas, Anantha P. Chandrakasan	A self-aware processor SoC using energy monitors integrated into power converters for self-adaptation.	VLSIC	2014	DBLP DOI BibTeX RDF
15	Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec	A design approach to automatically generate on-chip monitors during high-level synthesis of hardware accelerator.	ACM Great Lakes Symposium on VLSI	2014	DBLP DOI BibTeX RDF
15	Islam A. K. M. Mahfuzul, Hidetoshi Onodera	Characterization and compensation of performance variability using on-chip monitors.	VLSI-DAT	2014	DBLP DOI BibTeX RDF
15	Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld	Architectures for Inlining Security Monitors in Web Applications.	ESSoS	2014	DBLP DOI BibTeX RDF