|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1973 occurrences of 1272 keywords
|
|
|
Results
Found 2145 publication records. Showing 2145 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Noel Khan, David A. Elizondo, Lipika Deka, Miguel A. Molina-Cabello |
Fuzzy Logic Applied to System Monitors. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Toshiyo Tamura |
Cuffless Blood Pressure Monitors: Principles, Standards and Approval for Medical Use. |
IEICE Trans. Commun. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Onur Asan, Avishek Choudhury, Melek M. Somai, Bradley H. Crotty |
Augmenting patient safety through participation by design - An assessment of dual monitors for patients in the outpatient clinic. |
Int. J. Medical Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Manfred Wendt |
A Brief Introduction to Beam Position Monitors for Charged Particle Accelerators. |
IEEE Instrum. Meas. Mag. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gyouhyung Kyung, Sungryul Park |
Curved Versus Flat Monitors: Interactive Effects of Display Curvature Radius and Display Size on Visual Search Performance and Visual Fatigue. |
Hum. Factors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Kaitlin M. Gallagher, Laura Cameron, Diana E. De Carvalho, Madison Boulé |
Does Using Multiple Computer Monitors for Office Tasks Affect User Experience?: A Systematic Review. |
Hum. Factors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró |
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. |
ACM Trans. Embed. Comput. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yannick Chevalier, Michaël Rusinowitch |
Implementing Security Protocol Monitors. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Xugui Zhou, Bulbul Ahmed, James H. Aylor, Philip Asare, Homa Alemzadeh |
Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck |
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee 0001 |
Confidence Composition for Monitors of Verification Assumptions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
Incorporating Monitors in Reactive Synthesis without Paying the Price. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Sara Hajj Ibrahim, Mohamed Nassar 0001 |
Hack The Box: Fooling Deep Learning Abstraction-Based Monitors. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró |
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Dave Dice, Alex Kogan |
Compact Java Monitors. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Matthew Stephan |
Monitor++?: Multiple versus Single Laboratory Monitors in Early Programming Education. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli |
Adaptive distributed monitors of spatial properties for cyber-physical systems. |
J. Syst. Softw. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Giacomo Fanti, Francesca Borghi, Andrea Spinazzè, Sabrina Rovelli, Davide Campagnolo, Marta Keller, Andrea Cattaneo, Emanuele Cauda, Domenico Maria Cavallo |
Features and Practicability of the Next-Generation Sensors and Monitors for Exposure Assessment to Airborne Pollutants: A Systematic Review. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Lidia M. Belmonte, Arturo S. García 0001, Rafael Morales 0001, Jose Luis de la Vara, Francisco López de la Rosa, Antonio Fernández-Caballero 0001 |
Feeling of Safety and Comfort towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Kiyo Fujimoto, Lance A. Hone, Kory D. Manning, Robert D. Seifert, Kurt L. Davis, James N. Milloway, Richard S. Skifton, Yaqiao Wu, Malwina Wilding, David Estrada |
Additive Manufacturing of Miniaturized Peak Temperature Monitors for In-Pile Applications. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Eduard Muslimov, Nadezhda Pavlycheva, Emmanuel Hugot, Simona Lombardo, Ilnur Nureev, Oleg G. Morozov |
Optical Designs with Curved Detectors for Fiber Bragg Grating Interrogation Monitors. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Francalanza, Clare Cini |
Computer says no: Verdict explainability for runtime monitors using a local proof system. |
J. Log. Algebraic Methods Program. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Francalanza |
A theory of monitors. |
Inf. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gwendolyn Foo, Sami Kara, Maurice Pagnucco |
An Ontology-Based Method for Semi-Automatic Disassembly of LCD Monitors and Unexpected Product Types. |
Int. J. Autom. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Geeta Yadav, Kolin Paul |
Global Monitor using SpatioTemporally Correlated Local Monitors. |
NCA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Xugui Zhou, Bulbul Ahmed, James H. Aylor, Philip Asare, Homa Alemzadeh |
Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems. |
DSN |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
A secure insulin infusion system using verification monitors. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Junges, Hazem Torfah, Sanjit A. Seshia |
Runtime Monitors for Markov Decision Processes. |
CAV (2) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Cho-Sheng Lin, Jing Huang, Po-Sheng Chang, Chun-Yen Tsai, Tsung-Chu Huang |
SAFER & SAFEST: Single-Aging-Factor Enhanced Rings and Shadow Trees for Data Annotation and Early Warning in Online Aging Monitors of Automotive SoCs. |
ICCE-TW |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Projna Paromita, Theodora Chaspari, Seyedhooman Sajjadi, Anurag Das, Bobak J. Mortazavi, Ricardo Gutierrez-Osuna |
Personalized Meal Classification Using Continuous Glucose Monitors. |
IUI Workshops |
2021 |
DBLP BibTeX RDF |
|
15 | Anurag Das, Seyedhooman Sajjadi, Bobak Mortazavi, Theodora Chaspari, Projna Paromita, Laura Ruebush, Nicolaas E. P. Deutz, Ricardo Gutierrez-Osuna |
A Sparse Coding Approach to Automatic Diet Monitoring with Continuous Glucose Monitors. |
ICASSP |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
Incorporating Monitors in Reactive Synthesis Without Paying the Price. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Aayushi R. Nirmal, Srinidhi Brahmavar, Hannah W. Mercier |
Digital Phenotyping for Spinal Cord Injury: Smartphone-based monitors for clinical utility. |
MASS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tim Shaffer, Zhuozhao Li, Ben Tovar, Yadu N. Babuji, T. J. Dasso, Zoe Surma, Kyle Chard, Ian T. Foster, Douglas Thain |
Lightweight Function Monitors for Fine-Grained Management in Large Scale Python Applications. |
IPDPS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Natalia Igorevna Khramtsova, Sergei Aleksandrovich Plaksin, Danil N. Ponomarev, Artem Y. Sotskov |
The capabilities of bioelectrical impedance body composition monitors in determining metabolic parameters during body shaping. |
MeMeA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Khitam Alatoun, Bharath Shankaranarayanan, Shanmukha Murali Achyutha, Ranga Vemuri |
SoC Trust Validation Using Assertion-Based Security Monitors. |
ISQED |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mowafak Hassan Abdul-Hussin |
Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S4PR-Nets. |
CCWC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Kilian, Heiko Ahrens, Daniel Tille, Martin Huch, Ulf Schlichtmann |
A Scalable Design Flow for Performance Monitors Using Functional Path Ring Oscillators. |
ITC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck |
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. |
PRDC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Al-Saad, Madeleine Lucas, Lakshmish Ramaswamy |
Privacy Vulnerabilities of Wearable Activity Monitors: Threat and Potential Defence. |
CIC |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Katrina Boles, Malaika Gallimore, Chuka Emezue, Chelsea Howland, Amy Grimsley, Jo-Ana Chase, Allison Anbari, LeeAnne B. Sherwin, Blaine Reeder |
Comparing Performance of Hip-worn and Wrist-worn Research-Grade Activity Monitors for Daily Activities. |
AMIA |
2021 |
DBLP BibTeX RDF |
|
15 | Ruochen Cao, Lena Zou-Williams, Andrew Cunningham, James A. Walsh, Mark Kohler, Bruce H. Thomas |
Comparing the Neuro-Physiological Effects of Cinematic Virtual Reality with 2D Monitors. |
VR |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yanxiang Zhang 0001, JiaYu Wang |
"Through the Solar System" - - XR science education system based on multiple monitors. |
VR Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Martin Clochard, Claude Marché, Andrei Paskevich |
Deductive verification with ghost monitors. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Bonifazi, Riccardo Gasbarrone, Roberta Palmieri, Silvia Serranti |
Near infrared hyperspectral imaging-based approach for end-of-life flat monitors recycling. |
Autom. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ali Ahmed Al-Matouq, Taous-Meriem Laleg-Kirati, Carlo Novara, Ivana Rabbone, Tyrone Vincent |
Sparse Reconstruction of Glucose Fluxes Using Continuous Glucose Monitors. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Sergi Vilardell, Isabel Serra, Roberto Santalla, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla |
HRM: Merging Hardware Event Monitors for Improved Timing Analysis of Complex MPSoCs. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir |
An axiomatization of verdict equivalence over regular monitors. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Liang Ma 0002, Ting He 0001, Kin K. Leung, Ananthram Swami, Don Towsley |
Link Identifiability with Two Monitors: Proof of Selected Theorems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Matt Luckcuck |
Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Leonardo Rezende Juracy, Matheus Trevisan Moreira, Alexandre de Morais Amory, Fernando Gehm Moraes |
A Survey of Aging Monitors and Reconfiguration Techniques. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Oscar Garnica, Juan Lanchares, J. Manuel Velasco, José Ignacio Hidalgo, Marta Botella |
Noise spectral analysis and error estimation of continuous glucose monitors under real-life conditions of diabetes patients. |
Biomed. Signal Process. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dennis Severin Hansen, Stefan Jespersen, Mads Valentin Bram, Zhenyu Yang 0001 |
Uncertainty Analysis of Fluorescence-Based Oil-In-Water Monitors for Oil and Gas Produced Water. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Daniele Bibbo, Tomas Klinkovsky, Marek Penhaker, Petr Kudrna, Lukas Peter, Martin Augustynek, Vladimir Kasik, Jan Kubícek, Ali Selamat, Martin Cerný 0002, Daniel Bielcik |
A New Approach for Testing Fetal Heart Rate Monitors. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jaime Andres Rincon, Ângelo Costa, Paulo Novais, Vicente Julián, Carlos Carrascosa |
ME3CA: A Cognitive Assistant for Physical Exercises that Monitors Emotions and the Environment. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
15 | William W. Delp, Brett C. Singer |
Wildfire Smoke Adjustment Factors for Low-Cost and Professional PM2.5 Monitors with Optical Sensors. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Abhishek Kumar Ghosh, Sonny F. Burniston, Daniel Krentzel, Abhishek Roy, Adil Shoaib Sheikh, Talha Siddiq, Paula Mai Phuong Trinh, Marta Mambrilla Velazquez, Hei-Ting Vielle, Niamh C. Nowlan, Ravi Vaidyanathan |
A Novel Fetal Movement Simulator for the Performance Evaluation of Vibration Sensors for Wearable Fetal Movement Monitors. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson |
Determinizing monitors for HML with recursion. |
J. Log. Algebraic Methods Program. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy |
Revisiting monitors. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jahnavi Kasturi Rangan, Nasim Pour Aryan, Jens Bargfrede, Lantao Wang, Christian Funke, Helmut Graeb |
Synthesis of DDRO Timing Monitors by Delay-Tracking and Static Timing Analysis. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Lindsay S. Hahn, Stephen L. Rathbun, Michael D. Schmidt, Kyle Johnsen, James J. Annesi, Sun Joo (Grace) Ahn |
Using Virtual Agents and Activity Monitors to Autonomously Track and Assess Self-Determined Physical Activity Among Young Children: A 6-Week Feasibility Field Study. |
Cyberpsychology Behav. Soc. Netw. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Peter F. Klemperer, Hye Yoon Jeon, Bryan D. Payne, James C. Hoe |
High-Performance Memory Snapshotting for Real-Time, Consistent, Hypervisor-Based Monitors. |
IEEE Trans. Dependable Secur. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Djob Mvondo, Alain Tchana, Renaud Lachaize, Daniel Hagimont, Noël De Palma |
Fine-Grained Fault Tolerance for Resilient pVM-Based Virtual Machine Monitors. |
DSN |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Duc Do Tran, Jörg Walter 0001, Kim Grüttner, Frank Oppenheimer |
Towards Time-Sensitive Behavioral Contract Monitors for IEC 61499 Function Blocks. |
ICPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Victor L. G. Cavalcante, Diego A. Amoedo, Adriana S. Souza, Luciana R. Costa, Myke D. M. Valadão, Caio F. S. Cruz, Agemilson P. Silva, Ruan J. S. Belém, Anderson S. Jesus, Lucas Gabriel Coimbra Evangelista, Osmar R. A. Silva, Ricardo G. Paula, Thiago B. Bezerra, Waldir S. S. Júnior, Celso B. Carvalho |
Automated Dead/Bright Pixel Distance Measurement System on Computer Monitors. |
ICCE-TW |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Xavier Palomo, Mikel Fernández, Sylvain Girbal, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla, Laurent Rioux |
Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study. |
ECRTS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Enrico Mezzetti, Jaume Abella 0001, Mikel Fernández, Guillem Bernat, Francisco J. Cazorla |
On the reliability of hardware event monitors in MPSoCs for critical domains. |
SAC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ruikai Shi, Liang Yang, Hao Wang |
Delay Sensitivity Polynomials Based Design- Dependent Performance Monitors for Wide Operating Ranges. |
DATE |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Chang Liu 0010, Eric Schneider, Hans-Joachim Wunderlich |
Using Programmable Delay Monitors for Wear-Out and Early Life Failure Prediction. |
DATE |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jan Reich, Daniel Schneider 0001, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz |
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Shi-Yu Huang |
Overview of On-Chip Performance Monitors for Clock Signals. |
ATS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Josep Solà, Anna Vybornova, Sibylle Fallet, Elisa Olivero, Bastien De Marco, Olivier Grossenbacher, Natalija Ignjatovic, Blagoje Ignjatovic, Matthieu Favre-Bulle, Nora Levinson, Nadège Siutryk, Valentin Chapuis, Mattia Bertschi, Bruce S. Alpert |
Are cuffless devices challenged enough? Design of a validation protocol for ambulatory blood pressure monitors at the wrist: the case of the Aktiia Bracelet. |
EMBC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mengxing Liu, Zehui Sun, Wenyu Ye, Xianliang He, Haoyu Jiang, Ye Li, Yiyu Zhuang |
Optimization Strategies to Reduce Alarm Fatigue in Patient Monitors. |
CinC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Chris Hill, Michael Schneider, Mark D. Gross, Ann Eisenberg, Arielle Blum |
A Wearable Meter That Actively Monitors the Continuity of E-Textile Circuits as They Are Sewn. |
FabLearn |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar |
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. |
RTSS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Augusto W. Hoppe, Jürgen Becker 0001, Fernanda Lima Kastensmidt |
Fine Grained Control Flow Checking with Dedicated FPGA Monitors. |
SoCC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Elena Esposito, Gerardo D'Elia, Sergio Ferlito, Antonio Del Giudice, Grazia Fattoruso, Paolo D'Auria, Saverio De Vito, Girolamo Di Francia |
Optimal Field Calibration of Multiple IoT Low Cost Air Quality Monitors: Setup and Results. |
ICCSA (5) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Duc Do Tran, Kim Grüttner, Frank Oppenheimer, Wolfgang Nebel |
Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499. |
ETFA |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Cantoro, Martin Huch, Tobias Kilian, Raffaele Martone, Ulf Schlichtmann, Giovanni Squillero |
Machine Learning based Performance Prediction of Microcontrollers using Speed Monitors. |
ITC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Hepperle, Hannah Ödell, Matthias Wölfel |
Differences in the Uncanny Valley between Head-Mounted Displays and Monitors. |
CW |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic |
Weakness Monitors for Fail-Aware Systems. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ben Greenman, Matthias Felleisen, Christos Dimoulas |
Complete monitors for gradual types. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jun-Eun Park, Young-Ha Hwang, Deog-Kyoon Jeong |
A 0.5-V Fully Synthesizable SAR ADC for On-Chip Distributed Waveform Monitors. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Soramichi Akiyama |
A Lightweight Method to Evaluate Effect of Approximate Memory with Hardware Performance Monitors. |
IEICE Trans. Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino |
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. |
ACM Trans. Design Autom. Electr. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Devashish Das, Kalyan S. Pasupathy, Nadeem N. Haddad, M. Susan Hallbeck, Martin D. Zielinski, Mustafa Y. Sir |
Improving Accuracy of Noninvasive Hemoglobin Monitors: A Functional Regression Model for Streaming SpHb Data. |
IEEE Trans. Biomed. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Tim Collins, Sandra I. Woolley, Salome Oniani, Ivan Miguel Pires, Nuno M. Garcia, Sean J. Ledger, Anand Pandyan |
Version Reporting and Assessment Approaches for New and Updated Activity and Heart Rate Monitors. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Chiara Fabris, Basak Ozaslan, Marc D. Breton |
Continuous Glucose Monitors and Activity Trackers to Inform Insulin Dosing in Type 1 Diabetes: The University of Virginia Contribution. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Absa Stephen, Shajulin Benedict, R. P. Anto Kumar |
Monitoring IaaS using various cloud monitors. |
Clust. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Bingyu Li, Jingqiang Lin, Fengjun Li, Qiongxiao Wang, Qi Li 0002, Jiwu Jing, Congli Wang |
Certificate Transparency in the Wild: Exploring the Reliability of Monitors. |
CCS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jafar Hamin |
Starvation-Free Monitors. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Lorenzo Ferretti, Giovanni Ansaloni, Laura Pozzi, Amir Aminifar, David Atienza, Leila Cammoun, Philippe Ryvlin |
Tailoring SVM Inference for Resource-Efficient ECG-Based Epilepsy Monitors. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nico Hochgeschwender |
Adaptive Deployment of Safety Monitors for Autonomous Systems. |
SAFECOMP Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
15 | José Manuel González-García, Claudio Estevez |
Smart Hospital LoRaWAN-based Backup Network Design that Monitors Critical Emergency and Standby Resources. |
HealthCom |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Selda Yildiz, Ryan A. Opel, Jonathan E. Elliott, Jeffrey A. Kaye, Hung Cao, Miranda M. Lim |
Categorizing Sleep in Older Adults with Wireless Activity Monitors Using LSTM Neural Networks. |
EMBC |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Raif Alicic, Senad Smaka |
A New Approach to Determine the Optimal Number and Arrangement of Power Quality Monitors for Voltage Sag Detection. |
RTSI |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2145 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|