|
|
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 | Ahmed Benhassain, Florian Cacho, Vincent Huard, Lorena Anghel |
Early failure prediction by using in-situ monitors: Implementation and application results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ERMAVSS@DATE ![In: Proceedings of the Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems, ERMAVSS 2016, co-located with IEEE/ACM Design, Automation and Test in Europe Conference (DATE 2016), Dresden, Germany, March 18, 2016., pp. 21-24, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016, pp. 1018-1019, 2016, IEEE, 978-3-9815-3707-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Martin Omaña 0001, A. Fiore, Cecilia Metra |
Inverters' self-checking monitors for reliable photovoltaic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016, pp. 672-677, 2016, IEEE, 978-3-9815-3707-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Michael D. Taylor 0004 |
Low-cost air quality monitors: Modeling and characterization of sensor drift in optical particle counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SENSORS ![In: 2016 IEEE SENSORS, Orlando, FL, USA, October 30 - November 3, 2016, pp. 1-3, 2016, IEEE, 978-1-4799-8287-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016, pp. 207-214, 2016, IEEE Computer Society, 978-1-5090-2817-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Dan Williams, Ricardo Koller |
Unikernel Monitors: Extending Minimalism Outside of the Box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotCloud ![In: 8th USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2016, Denver, CO, USA, June 20-21, 2016., 2016, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Mounir Assaf, David A. Naumann |
Calculational Design of Information Flow Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pp. 210-224, 2016, IEEE Computer Society, 978-1-5090-2607-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Limin Jia 0001, Hannah Gommerstadt, Frank Pfenning |
Monitors and blame assignment for higher-order session types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 582-594, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 29-41, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Yong Zhao, Hans G. Kerkhoff |
Highly Dependable Multi-processor SoCs Employing Lifetime Prediction Based on Health Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 25th IEEE Asian Test Symposium, ATS 2016, Hiroshima, Japan, November 21-24, 2016, pp. 228-233, 2016, IEEE Computer Society, 978-1-5090-3809-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 15th European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016, pp. 714-719, 2016, IEEE, 978-1-5090-2591-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Francalanza |
A Theory of Monitors - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 145-161, 2016, Springer, 978-3-662-49629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, pp. 513-516, 2016, IEEE, 978-1-4577-0220-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, pp. 3519-3522, 2016, IEEE, 978-1-4577-0220-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, pp. 3507-3510, 2016, IEEE, 978-1-4577-0220-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVSW ![In: 1st IEEE International Verification and Security Workshop, IVSW 2016, Sant Feliu de Guixols, Spain, July 4-6, 2016, pp. 1-5, 2016, IEEE, 978-1-5090-1141-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Radu Velea, Noel Gordon |
Comparison of color profile gamut coverage for computer monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 11th International Conference for Internet Technology and Secured Transactions, ICITST 2016, Barcelona, Spain, December 5-7, 2016, pp. 287-290, 2016, IEEE, 978-1-908320-73-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Fengzi Wang, Xinning Zhu, Jiansong Miao |
Semantic Trajectories Based Social Relationships Discovery Using WiFi Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigCom ![In: Big Data Computing and Communications - Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings, pp. 433-442, 2016, Springer, 978-3-319-42552-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ghazanfar Ali, Ahmed Badawy, Hans G. Kerkhoff |
Accessing on-chip temperature health monitors using the IEEE 1687 standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 2016 IEEE International Conference on Electronics, Circuits and Systems, ICECS 2016, Monte Carlo, Monaco, December 11-14, 2016, pp. 776-779, 2016, IEEE, 978-1-5090-6113-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016, Brussels, Belgium, June 21-24, 2016, pp. 275-280, 2016, ACM, 978-1-4503-4322-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016, pp. 116, 2016, ACM, 978-1-4503-4466-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotNets ![In: Proceedings of the 15th ACM Workshop on Hot Topics in Networks, HotNets 2016, Atlanta, GA, USA, November 9-10, 2016, pp. 99-105, 2016, ACM, 978-1-4503-4661-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeMeA ![In: 2016 IEEE International Symposium on Medical Measurements and Applications, MeMeA 2016, Benevento, Italy, May 15-18, 2016, pp. 1-6, 2016, IEEE, 978-1-4673-9172-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2016, Anaheim, CA, USA, March 20-24, 2016, pp. 1-3, 2016, IEEE, 978-1-9435-8007-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Joanne R. Loos, Elizabeth J. Davidson |
Wearable Health Monitors and Physician-Patient Communication: The Physician's Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 49th Hawaii International Conference on System Sciences, HICSS 2016, Koloa, HI, USA, January 5-8, 2016, pp. 3389-3399, 2016, IEEE Computer Society, 978-0-7695-5670-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsianHOST ![In: 2016 IEEE Asian Hardware-Oriented Security and Trust, AsianHOST 2016, Yilan, Taiwan, December 19-20, 2016, pp. 1-6, 2016, IEEE Computer Society, 978-1-5090-5701-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 34th IEEE VLSI Test Symposium, VTS 2016, Las Vegas, NV, USA, April 25-27, 2016, pp. 1, 2016, IEEE Computer Society, 978-1-4673-8454-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, pp. 118-133, 2016, Springer, 978-3-319-44801-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors - Proceedings of the Third National Conference on Sensors, February 23-25, 2016, Rome, Italy, pp. 294-302, 2016, Springer, 978-3-319-55076-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Zohreh Alavi |
Rational-Based Visual Planning Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 3968-3969, 2016, IJCAI/AAAI Press, 978-1-57735-770-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Zerui Li, Yu Kang 0001, Wenjun Lv, Yun-Bo Zhao |
Location problem for traffic emission monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSI ![In: 9th International Conference on Human System Interactions, HSI 2016, Portsmouth, United Kingdom, July 6-8, 2016, pp. 140-146, 2016, IEEE, 978-1-5090-1729-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
15 | Jason H. Rife |
Comparing performance bounds for chi-square monitors with parameter uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 51(3), pp. 2379-2389, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Francalanza, Aldrin Seychell |
Synthesising correct concurrent runtime monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 46(3), pp. 226-261, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 60(10), pp. 2825-2830, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Bruce R. Schatz |
National Surveys of Population Health: Big Data Analytics for Mobile Health Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data ![In: Big Data 3(4), pp. 219-229, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | M. Hari Prasad, Gopika Vinod, V. V. S. Sanyasi Rao |
Risk management of NPPs using risk monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 6(2), pp. 191-197, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Volker Diekert, Anca Muscholl, Igor Walukiewicz |
A Note on Monitors and Büchi automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.01020, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Adrian Dorado, Genaro Saavedra, Jorge Sola-Pikabea, Manuel Martínez-Corral |
Integral Imaging Monitors with an Enlarged Viewing Angle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inform. and Commun. Convergence Engineering ![In: J. Inform. and Commun. Convergence Engineering 13(2), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 621, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Devu Manikantan Shila, Vivek Venugopalan, Cameron D. Patterson |
Enhancing Trust in Reconfigurable Based Hardware Systems with Tags and Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 441, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 62(1), pp. 323-330, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Katherine Albrecht, Liz McIntyre |
Privacy Nightmare: When Baby Monitors Go Bad [Opinion]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Technol. Soc. Mag. ![In: IEEE Technol. Soc. Mag. 34(3), pp. 14-19, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 12(6), pp. 652-664, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Khalid Babutain, Saied Alaklobi, Anwar Alghamdi, Sreela Sasi |
Automated Surveillance of Computer Monitors in Labs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: 2015 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2015, Kochi, India, August 10-13, 2015, pp. 1026-1030, 2015, IEEE, 978-1-4799-8790-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '15, Singapore, April 14-17, 2015, pp. 297-308, 2015, ACM, 978-1-4503-3245-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 218-227, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-Berlin ![In: IEEE 5th International Conference on Consumer Electronics - Berlin, ICCE-Berlin 2015, Berlin, Germany, September 6-9, 2015, pp. 267-270, 2015, IEEE, 978-1-4799-8748-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Volker Diekert, Anca Muscholl, Igor Walukiewicz |
A Note on Monitors and Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 39-57, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 441-446, 2015, ACM, 978-3-9815370-4-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 151-156, 2015, ACM, 978-3-9815370-4-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Aslan Askarov, Stephen Chong, Heiko Mantel |
Hybrid Monitors for Concurrent Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015, pp. 137-151, 2015, IEEE Computer Society, 978-1-4673-7538-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL Workshops ![In: Current Developments in Web Based Learning - ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015, Revised Selected Papers, pp. 13-22, 2015, Springer, 978-3-319-32864-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, August 25-29, 2015, pp. 4986-4989, 2015, IEEE, 978-1-4244-9271-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Catalin Hritcu |
Micro-Policies: Formally Verified, Tag-Based Security Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 1, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt |
Expressing contract monitors as patterns of communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 387-399, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CinC ![In: Computing in Cardiology, CinC 2015, Nice, France, September 6-9, 2015, pp. 281-284, 2015, www.cinc.org, 978-1-5090-0685-4. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CinC ![In: Computing in Cardiology, CinC 2015, Nice, France, September 6-9, 2015, pp. 637-640, 2015, www.cinc.org, 978-1-5090-0685-4. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CinC ![In: Computing in Cardiology, CinC 2015, Nice, France, September 6-9, 2015, pp. 405-408, 2015, www.cinc.org, 978-1-5090-0685-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICC ![In: 2015 IEEE Custom Integrated Circuits Conference, CICC 2015, San Jose, CA, USA, September 28-30, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-8682-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: 2015 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2015, Montreal, QC, Canada, June 15-18, 2015, pp. 1-8, 2015, IEEE, 978-1-4673-7501-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Zhenhai Lin |
Mission planning for electromagnetic environment monitors satellite based on simulated annealing algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: IEEE 28th Canadian Conference on Electrical and Computer Engineering, CCECE 2015, Halifax, NS, Canada, May 3-6, 2015, pp. 530-535, 2015, IEEE, 978-1-4799-5827-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Havelund, Giles Reger |
Specification of Parametric Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SyDe Summer School ![In: Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015, pp. 151-189, 2015, Springer, 978-3-658-09993-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015, pp. 813-830, 2015, IEEE Computer Society, 978-1-4673-6949-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2015 - 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings, pp. 248-266, 2015, Springer, 978-3-662-48323-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 70-79, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Artur Bal, Andrzej Kordecki, Henryk Palus, Mariusz Frackiewicz |
Evaluating of Selected Systems for Colorimetric Calibration of LCD Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMMI ![In: Man-Machine Interactions 4 - 4th International Conference on Man-Machine Interactions, ICMMI 2015, Kocierz Pass, Poland, October 6-9, 2015, pp. 329-339, 2015, Springer, 978-3-319-23436-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Tim Todman, Stephan Stilkerich, Wayne Luk |
In-circuit temporal monitors for runtime verification of reconfigurable designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015, pp. 50:1-50:6, 2015, ACM, 978-1-4503-3520-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: IEEE 4th Global Conference on Consumer Electronics, GCCE 2015, Osaka, Japan, 27-30 October 2015, pp. 177-178, 2015, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2015, American Medical Informatics Association Annual Symposium, San Francisco, CA, USA, November 14-18, 2015, 2015, AMIA. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Bas Testerink, Nils Bulling, Mehdi Dastani |
Security and Robustness for Collaborative Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS/IJCAI ![In: Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers, pp. 376-395, 2015, Springer, 978-3-319-42690-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Chang Liu, Guiyuan Jiang, Jigang Wu, Meixia Zhu, Lijia Tu |
Efficient Heuristic for Placing Monitors on Flow Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAP ![In: Seventh International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2015, Nanjing, China, December 12-14, 2015, pp. 1-5, 2015, IEEE Computer Society, 978-1-4673-9117-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ana M. Casado, José Ignacio Peláez |
Intangible management monitors and tools: Reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 41(4), pp. 1509-1529, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Lawrence Chow, Nicholas Bambos, Alex Gilman, Ajay Chander |
Personalized Monitors for Real-Time Detection of Physiological States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. E Health Medical Commun. ![In: Int. J. E Health Medical Commun. 5(4), pp. 1-19, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 6(5), pp. 3988-4002, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 22(10), pp. 2117-2130, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Francis Y. L. Chin, Marek Chrobak, Li Yan |
Algorithms for Placing Monitors in a Flow Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 68(1), pp. 1-15, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Signal Process. ![In: IEEE J. Sel. Top. Signal Process. 8(1), pp. 30-42, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Kurt Barbé, Yuriy Kurylyak, Francesco Lamonaca |
Logistic ordinal regression for the calibration of oscillometric blood pressure monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 11, pp. 89-96, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 80, pp. 52-64, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014, Reno, NV, USA, June 10-12, 2014, pp. 358-365, 2014, IEEE Computer Society, 978-1-4799-4430-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SD&A ![In: Stereoscopic Displays and Applications XXV, San Francisco, California, USA, February 2-6, 2014, pp. 90110H, 2014, SPIE, 9780819499288. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: 9th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '14, Kyoto, Japan - June 03 - 06, 2014, pp. 305-316, 2014, ACM, 978-1-4503-2800-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014, pp. 167-178, 2014, ACM, 978-1-4503-2957-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri |
Self-Adaptive Monitors for Multiparty Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014, pp. 688-696, 2014, IEEE Computer Society, 978-1-4799-2729-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 57th International Midwest Symposium on Circuits and Systems, MWSCAS 2014, College Station, TX, USA, August 3-6, 2014, pp. 1081-1084, 2014, IEEE, 978-1-4799-4134-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-6, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings, pp. 262-277, 2014, Springer, 978-3-319-10505-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jakub Parák, Ilkka Korhonen |
Evaluation of wearable consumer heart rate monitors based on photopletysmography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, pp. 3670-3673, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Christian Colombo 0001, Yliès Falcone |
Organising LTL Monitors over Distributed Systems with a Global Clock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 140-155, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSH ![In: Smart Health - International Conference, ICSH 2014, Beijing, China, July 10-11, 2014. Proceedings, pp. 206-212, 2014, Springer, 978-3-319-08415-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Justin Cappos, Richard S. Weiss |
Teaching the security mindset with reference monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: The 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014, Atlanta, GA, USA, March 5-8, 2014, pp. 523-528, 2014, ACM, 978-1-4503-2605-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Bonkon Koo, Yunjun Nam, Seungjin Choi |
A hybrid EOG-P300 BCI with dual monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCI ![In: 2014 International Winter Workshop on Brain-Computer Interface, BCI 2014, Gangwon Province, Korea (South), February 17-19, 2014, pp. 1-4, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 22nd Mediterranean Conference on Control and Automation, Palermo, Italy, June 16-19, 2014, pp. 1099-1104, 2014, IEEE, 978-1-4799-5900-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Basile, Luigi Piroddi, Roberto Cordone |
Decentralized Monitors Design for Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 73-79, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICC ![In: Proceedings of the IEEE 2014 Custom Integrated Circuits Conference, CICC 2014, San Jose, CA, USA, September 15-17, 2014, pp. 1-4, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSIC ![In: Symposium on VLSI Circuits, VLSIC 2014, Digest of Technical Papers, Honolulu, HI, USA, June 10-13, 2014, pp. 1-2, 2014, IEEE, 978-1-4799-3327-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21 - 23, 2014, pp. 273-278, 2014, ACM, 978-1-4503-2816-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Islam A. K. M. Mahfuzul, Hidetoshi Onodera |
Characterization and compensation of performance variability using on-chip monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-DAT ![In: Technical Papers of 2014 International Symposium on VLSI Design, Automation and Test, VLSI-DAT 2014, Hsinchu, Taiwan, April 28-30, 2014, pp. 1-4, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld |
Architectures for Inlining Security Monitors in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 141-160, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 2145 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|