Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Michael Joseph Neri, Redentor Immanuel Ridao, Victor Emmanuel Baylosis, Phoebe Meira Chua, Allen Jason Tan, Maria Theresa G. de Leon, John Richard E. Hizon, Marc D. Rosales, Maria Patricia Rouelli Sabino-Santos, Christopher Santos, Anastacia B. Alvarez |
Design and Implementation of a Pipelined RV32IMC Processor with Interrupt Support for Large-Scale Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TENCON ![In: 2020 IEEE Region 10 Conference, TENCON 2020, Osaka, Japan, November 16-19, 2020, pp. 806-811, 2020, IEEE, 978-1-7281-8455-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Marcel Eckert, Jan Haase 0001, Bernd Klauer |
Unifying Timer and Interrupt Management for an ARM-RISC-V-Heterogeneous Multi-Core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: The 46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020, Singapore, October 18-21, 2020, pp. 2302-2309, 2020, IEEE, 978-1-7281-5414-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Haoyu Ma, Jianwen Tian, Debin Gao, Chunfu Jia |
Walls Have Ears: Eavesdropping User Behaviors via Graphics-Interrupt-Based Side Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security - 23rd International Conference, ISC 2020, Bali, Indonesia, December 16-18, 2020, Proceedings, pp. 178-195, 2020, Springer, 978-3-030-62973-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ki-Dong Kang, Hyungwon Park, Gyeongseo Park, Daehoon Kim |
Improving the Efficiency of Power Management via Dynamic Interrupt Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 38th IEEE International Conference on Computer Design, ICCD 2020, Hartford, CT, USA, October 18-21, 2020, pp. 377-380, 2020, IEEE, 978-1-7281-9710-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Takuji Miki, Noriyuki Miura, Hiroki Sonoda, Kento Mizuta, Makoto Nagata |
A Random Interrupt Dithering SAR Technique for Secure ADC against Reference-Charge Side-Channel Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2020, Sevilla, Spain, October 10-21, 2020, pp. 1, 2020, IEEE, 978-1-7281-3320-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Harish Dattatraya Dixit, Fan Fred Lin, Bill Holland, Matt Beadon, Zhengyu Yang, Sriram Sankar |
Optimizing Interrupt Handling Performance for Memory Failures in Large Scale Data Centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE ![In: ICPE '20: ACM/SPEC International Conference on Performance Engineering, Edmonton, AB, Canada, April 20-24, 2020, pp. 193-201, 2020, ACM, 978-1-4503-6991-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Haining Feng |
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1361-1363, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jian Li 0021, Shuai Xue, Wang Zhang, Ruhui Ma, Zhengwei Qi, Haibing Guan |
When I/O Interrupt Becomes System Bottleneck: Efficiency and Scalability Enhancement for SR-IOV Network Virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cloud Comput. ![In: IEEE Trans. Cloud Comput. 7(4), pp. 1183-1196, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Yuxia Sun, Song Guo 0001, Shing-Chi Cheung, Yong Tang 0001 |
Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 6(3), pp. 5376-5386, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Yuxia Sun, Shing-Chi Cheung, Song Guo 0001, Ming Cheng |
Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 6(5), pp. 8945-8957, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Kun Zhang 0011, Chong Shen 0002, Mengxing Huang, Haifeng Wang, Hanwen Li, Qian Gao |
Interrupt protection control of anti-interference nodes in network based on band sampling decision filter modulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(Supplement), pp. 7569-7576, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Frank Piessens |
Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIS@CCS ![In: Proceedings of ACM Workshop on Theory of Implementation Security, TIS@CCS 2019, London, UK, November 11, 2019, pp. 1, 2019, ACM, 978-1-4503-6827-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Adrien Gausseran, Andrea Tomassilli, Frédéric Giroire, Joanna Moulierac |
Poster: Don't interrupt me when you reconfigure my service function chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: 2019 IFIP Networking Conference, Networking 2019, Warsaw, Poland, May 20-22, 2019, pp. 1-2, 2019, IEEE, 978-3-903176-16-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Yixiao Liu, Weigong Zhang, Jiqin Zhou, Ying Wang, Shan Wang, Lin Zhang |
A Design of Encoding Arbitration and Interrupt Request for Dynamic Reconfigurable High-Speed Serial Bus in Cyber Physical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iThings/GreenCom/CPSCom/SmartData ![In: 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), iThings/GreenCom/CPSCom/SmartData 2019, Atlanta, GA, USA, July 14-17, 2019, pp. 627-634, 2019, IEEE, 978-1-7281-2980-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
Data Races and Static Analysis for Interrupt-Driven Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 697-723, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jin Cui, Xu Lu 0003, Buwen Liang |
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 61-72, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ceenu George, Philipp Janssen, David Heuss, Florian Alt |
Should I Interrupt or Not?: Understanding Interruptions in Head-Mounted Display Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the 2019 on Designing Interactive Systems Conference, DIS 2019, San Diego, CA, USA, June 23-28, 2019., pp. 497-510, 2019, ACM, 978-1-4503-5850-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Minxue Pan, Shouyu Chen, Yu Pei 0001, Tian Zhang 0001, Xuandong Li |
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pp. 212-222, 2019, IEEE / ACM, 978-1-7281-0869-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jingqiu Zheng, Jiali Bian, Jian Kuang 0002 |
Interrupt Responsive Spinlock Mechanism Based on MCS for Multi-core RTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAP ![In: Parallel Architectures, Algorithms and Programming - 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019, Revised Selected Papers, pp. 24-34, 2019, Springer, 978-981-15-2766-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Khondaker Musfakus Salehin, Vinitmadhukar Sahasrabudhe, Roberto Rojas-Cessa |
Determination of Interrupt-Coalescence Latency of Remote Hosts Through Active Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 23019-23033, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | JuHyung Hong, Sangwoo Han, Young Min Park, Eui-Young Chung |
ICS: Interrupt-Based Channel Sneaking for Maximally Exploiting Die-Level Parallelism of NAND Flash-Based Storage Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 26(9), pp. 1802-1806, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Florian Auernhammer, Richard L. Arndt |
XIVE: External interrupt virtualization for the cloud infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 62(4/5), pp. 5:1-5:10, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Yuxia Sun, Song Guo 0001, Shing-Chi Cheung, Yong Tang 0001 |
Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.05789, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Tingguang Li, Jin Pan, Delong Zhu, Max Q.-H. Meng |
Learning to Interrupt: A Hierarchical Deep Reinforcement Learning Framework for Efficient Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.11150, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Pedro Mejía-Alvarez, Luis E. Leyva-del-Foyo, Arnoldo Díaz-Ramírez |
Interrupt Handling Schemes in Operating Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
DOI RDF |
|
18 | Jo Van Bulck, Frank Piessens, Raoul Strackx |
Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 178-195, 2018, ACM, 978-1-4503-5693-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang 0004, Xun Cao, Akira Fukuda |
Analysis of Interrupt Behavior Based on Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIAI-AAI ![In: 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, July 8-13, 2018, pp. 86-91, 2018, IEEE, 978-1-5386-7447-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Josef Strnadel |
Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, pp. 414-429, 2018, Springer, 978-3-030-03420-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Lei Sun, Shuai Li, Songhui Guo, Yingxin Xu |
Performance Modeling towards Interrupt System of Virtualized Cryptography Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIC ![In: Third International Conference on Security of Smart Cities, Industrial Control System and Communications, SSIC 2018, Shanghai, China, October 18-19, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-8187-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Xueguang Wu, Liqian Chen, Ji Wang 0001 |
Analyzing Interrupt Handlers via Interprocedural Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Real-Time and Hybrid Systems ![In: Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday, pp. 246-262, 2018, Springer, 978-3-030-01460-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Benedict Herzog, Luis Gerhorst, Bernhard Heinloth, Stefan Reif, Timo Hönig, Wolfgang Schröder-Preikschat |
INTspect: Interrupt Latencies in the Linux Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: VIII Brazilian Symposium on Computing Systems Engineering, SBESC 2018, Salvador, Brazil, November 5-8, 2018, pp. 83-90, 2018, IEEE, 978-1-7281-0240-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Ivan Pavic, Hrvoje Dzapo |
Virtualization in multicore real-time embedded systems for improvement of interrupt latency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 41st International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2018, Opatija, Croatia, May 21-25, 2018, pp. 1405-1410, 2018, IEEE, 978-953-233-095-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Tingguang Li, Jin Pan, Delong Zhu, Max Q.-H. Meng |
Learning to Interrupt: A Hierarchical Deep Reinforcement Learning Framework for Efficient Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: IEEE International Conference on Robotics and Biomimetics, ROBIO 2018, Kuala Lumpur, Malaysia, December 12-15, 2018, pp. 648-653, 2018, IEEE, 978-1-7281-0377-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jian He, Zihao Zhang, Weiguo Yu |
Interrupt-Driven Fall Detection System Realized via a Kalman Filter and kNN Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI ![In: 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018, pp. 579-584, 2018, IEEE, 978-1-5386-9380-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Wenjian He, Wei Zhang 0012, Sanjeev Das, Yang Liu 0003 |
SGXlinger: A New Side-Channel Attack Vector Based on Interrupt Latency Against Enclave Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018, pp. 108-114, 2018, IEEE Computer Society, 978-1-5386-8477-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Oskar Palinko, Kohei Ogawa, Yuichiro Yoshikawa, Hiroshi Ishiguro |
How Should a Robot Interrupt a Conversation Between Multiple Humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Social Robotics - 10th International Conference, ICSR 2018, Qingdao, China, November 28-30, 2018, Proceedings, pp. 149-159, 2018, Springer, 978-3-030-05203-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Adam Chýlek, Jan Svec, Lubos Smídl |
Learning to Interrupt the User at the Right Time in Incremental Dialogue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech, and Dialogue - 21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018, Proceedings, pp. 500-508, 2018, Springer, 978-3-030-00793-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Gang Hou, Kuanjiu Zhou, Tie Qiu 0001, Weiqiang Kong, Mingchu Li |
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 5178-5189, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Patrick Gontar, Sonja Anna Elisabeth Schneider, Carsten Schmidt-Moll, Celina Bollin, Klaus Bengler |
Hate to interrupt you, but... analyzing turn-arounds from a cockpit perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 19(4), pp. 837-853, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Chungha Sung, Markus Kusano, Chao Wang 0001 |
Modular Verification of Interrupt-Driven Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.10078, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Khondaker Musfakus Salehin, Vinitmadhukar Sahasrabudhe, Roberto Rojas-Cessa |
Remote measurement of interrupt-coalescence latency of internet hosts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: 2017 IFIP Networking Conference, IFIP Networking 2017 and Workshops, Stockholm, Sweden, June 12-16, 2017, pp. 1-9, 2017, IEEE Computer Society, 978-3-901882-94-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe |
Towards Correct-by-Construction Interrupt Routing on Real Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 8-14, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Naoya Ito, Yuuki Oosako, Nagisa Ishiura, Hiroyuki Kanbara, Hiroyuki Tomiyama |
Binary synthesis implementing external interrupt handler as independent module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: International Symposium on Rapid System Prototyping, RSP 2017, Shortening the Path from Specification to Prototype, October 19-20, 2017, Seoul, South Korea., pp. 92-98, 2017, ACM, 978-1-4503-5418-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Yu Wang 0093, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
Automatic detection and validation of race conditions in interrupt-driven embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, pp. 113-124, 2017, ACM, 978-1-4503-5076-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Katharina Cyra, Karola Pitsch |
Dealing with Long Utterances: How to Interrupt the User in a Socially Acceptable Manner? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAI ![In: Proceedings of the 5th International Conference on Human Agent Interaction, HAI 2017, Bielefeld, Germany, October 17 - 20, 2017, pp. 341-345, 2017, ACM, 978-1-4503-5113-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Chungha Sung, Markus Kusano, Chao Wang 0001 |
Modular verification of interrupt-driven software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 206-216, 2017, IEEE Computer Society, 978-1-5386-2684-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Mohammad Kayes Kaykobad, Praveen Madiraju, Sheikh Iqbal Ahamed |
Ring: Should I Interrupt or Not? - A Mobile Interruption Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/DataCom/CyberSciTech ![In: 15th IEEE Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2017, Orlando, FL, USA, November 6-10, 2017, pp. 877-882, 2017, IEEE Computer Society, 978-1-5386-1956-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic 0002, Didier Lime |
Interrupt Timed Automata with Auxiliary Clocks and Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 143(3-4), pp. 235-259, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Takeshi Yoshimura, Kenji Kono |
A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 24(3), pp. 573-582, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Laurent Simon, Wenduan Xu, Ross J. Anderson |
Don't Interrupt Me While I Type: Inferring Text Entered Through Gesture Typing on Android Keyboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. Priv. Enhancing Technol. ![In: Proc. Priv. Enhancing Technol. 2016(3), pp. 136-154, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Seung Young Kim, Gu-In Kwon |
Interrupt-Based Step-Counting to Extend Battery Life in an Activity Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sensors ![In: J. Sensors 2016, pp. 5824523:1-5824523:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Nen-Fu Huang, Wen-Yen Tsai |
qcAffin: A Hardware Topology Aware Interrupt Affinitizing and Balancing Scheme for Multi-Core and Multi-Queue Packet Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 27(6), pp. 1783-1795, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Luwei Cheng, Francis C. M. Lau 0001 |
Offloading Interrupt Load Balancing from SMP Virtual Machines to the Hypervisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 27(11), pp. 3298-3310, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Jeffrey L. Jenkins, Bonnie Brinton Anderson, Anthony Vance, C. Brock Kirwan, David Eargle |
More Harm Than Good? How Messages That Interrupt Can Make Us Vulnerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Res. ![In: Inf. Syst. Res. 27(4), pp. 880-896, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Ronaldo Rodrigues Ferreira, Gabriel L. Nazar, Jean da Rolt, Álvaro F. Moreira, Luigi Carro |
Live-Out Register Fencing: Interrupt-Triggered Soft Error Correction Based on the Elimination of Register-to-Register Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 15(3), pp. 60:1-60:25, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong 0006, Ji Wang 0001 |
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 15(4), pp. 70:1-70:26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Betsy Beyer, John Tobin, Liz Fong-Jones |
Interrupt Reduction Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 41(4), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Ioanna Katidioti, Jelmer P. Borst, Marieke K. van Vugt, Niels A. Taatgen |
Interrupt me: External interruptions are less disruptive than self-interruptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 63, pp. 906-915, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Leonardo M. Reyneri, Almudena Lindoso, Luis Entrena |
A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 13(4), pp. 502-508, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Tom Spink, Harry Wagstaff, Björn Franke |
Efficient asynchronous interrupt handling in a full-system instruction set simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, LCTES 2016, Santa Barbara, CA, USA, June 13 - 14, 2016, pp. 1-10, 2016, ACM, 978-1-4503-4316-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Hankeun Son, Seongjin Lee, Youjip Won |
Effect of timer interrupt interval on file system synchronization overhead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-NIDC ![In: IEEE International Conference on Network Infrastructure and Digital Content, IC-NIDC 2016, Beijing, China, September 23-25, 2016, pp. 99-102, 2016, IEEE, 978-1-5090-1245-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Khondaker Musfakus Salehin, Roberto Rojas-Cessa |
Method for measuring the packet processing time of Internet workstations with the detection of interrupt coalescence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPSR ![In: 17th IEEE International Conference on High Performance Switching and Routing, HPSR 2016, Yokohama, Japan, June 14-17, 2016, pp. 142-147, 2016, IEEE, 978-1-4799-8950-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Jaeil Han, Young Man Kim |
Interval-based adaptive interrupt coalescing in high-speed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2016, Jeju Island, South Korea, October 19-21, 2016, pp. 68-70, 2016, IEEE, 978-1-5090-1325-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah |
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings, pp. 52-68, 2016, Springer, 978-3-319-43143-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Wenrui Diao, Xiangyu Liu, Zhou Li 0001, Kehuan Zhang |
No Pardon for the Interruption: New Inference Attacks on Android Through Interrupt Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016, pp. 414-432, 2016, IEEE Computer Society, 978-1-5090-0824-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Richard Gay, Heiko Mantel, Henning Sudbrock |
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Secur. Softw. Eng. ![In: Int. J. Secur. Softw. Eng. 6(2), pp. 1-22, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Yuki Ando, Shinya Honda, Hiroaki Takada, Masato Edahiro |
System-level Design Method for Control Systems with Hardware-implemented Interrupt Handler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 23(5), pp. 532-541, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Tiago Gomes, Paulo Garcia, Filipe Salgado, João Monteiro 0001, Mongkol Ekpanyapong, Adriano Tavares |
Task-Aware Interrupt Controller: Priority Space Unification in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 7(1), pp. 27-30, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas |
Polynomial Interrupt Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.04541, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Georgios Rokos, Gerard J. Gorman, Paul H. J. Kelly |
An Interrupt-Driven Work-Sharing For-Loop Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.04134, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Minsub Lee, Hyosu Kim, Insik Shin |
Priority-Based Network Interrupt Scheduling for Predictable Real-Time Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Eng. ![In: J. Comput. Sci. Eng. 9(2), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Josef Strnadel |
Comparison of Generally Applicable Mechanisms for Preventing Embedded Event-Driven Real-Time Systems from Interrupt Overloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS-EERC ![In: 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, Brno, Czech Republic, August 27-28, 2015, pp. 39-44, 2015, IEEE Computer Society, 978-1-4673-7967-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Abhinav Mehrotra, Jo Vermeulen, Veljko Pejovic, Mirco Musolesi |
Ask, but don't interrupt: the case for interruptibility-aware mobile experience sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp/ISWC Adjunct ![In: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka, Japan, September 7-11, 2015, pp. 723-732, 2015, ACM, 978-1-4503-3575-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Christophe Layer, Kotb Jabeur, Laurent Becker, Bernard Dieny, Stephane Gros, Virgile Javerliac, Pierre Paoli, Fabrice Bernard-Granger |
Hybrid STT/CMOS Design of an Interrupt Based Instant On/Off Mechanism for Low-Power SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2015 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2015, Montpellier, France, July 8-10, 2015, pp. 315-320, 2015, IEEE Computer Society, 978-1-4799-8719-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Jian Li 0021, Ruhui Ma, Haibing Guan, David S. L. Wei |
vINT: Hardware-Assisted Virtual Interrupt Remapping for SMP VM with Scheduling Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudCom ![In: 7th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2015, Vancouver, BC, Canada, November 30 - December 3, 2015, pp. 234-241, 2015, IEEE Computer Society, 978-1-4673-9560-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang 0001 |
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, pp. 15-28, 2015, Springer, 978-3-319-31219-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Moratelli, Sergio Johann Filho, Fabiano Hessel |
Hardware-assisted interrupt delivery optimization for virtualized embedded platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 2015 IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2015, Cairo, Egypt, December 6-9, 2015, pp. 304-307, 2015, IEEE, 978-1-5090-0246-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Yu Wang 0093, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li |
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015, pp. 199-202, 2015, ACM, 978-1-4503-3641-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Sameer Patil, Roberto Hoyle, Roman Schlegel, Apu Kapadia, Adam J. Lee |
Interrupt Now or Inform Later?: Comparing Immediate and Delayed Privacy Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2015, Seoul, Republic of Korea, April 18-23, 2015, pp. 1415-1418, 2015, ACM, 978-1-4503-3145-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | SeungJun Kim 0001, Jaemin Chun, Anind K. Dey |
Sensors Know When to Interrupt You in the Car: Detecting Driver Interruptibility Through Monitoring of Peripheral Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2015, Seoul, Republic of Korea, April 18-23, 2015, pp. 487-496, 2015, ACM, 978-1-4503-3145-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Hyoseung Kim 0001, Shige Wang, Ragunathan Rajkumar |
Responsive and Enforced Interrupt Handling for Real-Time System Virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, pp. 90-99, 2015, IEEE Computer Society, 978-1-4673-7855-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Jae-Il Han, Young-Man Kim, Jaeyoul Lee |
Adaptive interrupt coalescing for energy efficiency and performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2015, Jeju Island, South Korea, October 28-30, 2015, pp. 41-46, 2015, IEEE, 978-1-4673-7116-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas |
Polynomial Interrupt Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings, pp. 20-32, 2015, Springer, 978-3-319-24536-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Halim Kacem, Mohamed Glaoui, Ali Gharsallah |
Power saving solution for WSN cases studies based on interrupt handler versus DMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 12th IEEE International Multi-Conference on Systems, Signals & Devices, SSD 2015, Mahdia, Tunisia, March 16-19, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-1758-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He 0001 |
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ![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. 160-169, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Cheng-Chun Tu, Michael Ferdman, Chao-Tang Lee, Tzi-cker Chiueh |
A Comprehensive Implementation and Evaluation of Direct Interrupt Delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Istanbul, Turkey, March 14-15, 2015, pp. 1-15, 2015, ACM, 978-1-4503-3450-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic 0002, Didier Lime |
Interrupt Timed Automata with Auxiliary Clocks and Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.2408, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Xin Li 0010, Yanhong Huang, Jianqi Shi, Jian Guo 0005, Huibiao Zhu, Yuanmin Xu |
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers, pp. 78-85, 2014, IEEE Computer Society, 978-1-4799-7425-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Christian Herber, Andre Oliver Richter, Thomas Wild, Andreas Herkersdorf |
Deadline-Aware Interrupt Coalescing in Controller Area Network (CAN). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/CSS/ICESS ![In: 2014 IEEE International Conference on High Performance Computing and Communications, 6th IEEE International Symposium on Cyberspace Safety and Security, 11th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS 2014, Paris, France, August 20-22, 2014, pp. 693-700, 2014, IEEE, 978-1-4799-6123-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Tingting Yu, Witawas Srisa-an, Myra B. Cohen, Gregg Rothermel |
SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA, pp. 313-322, 2014, IEEE Computer Society, 978-0-7695-5185-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Gregor Rebel, Francisco J. Estévez, Ioanna Tsekoura, Ingo Schulz, Peter Glösekötter |
Interrupt aware queue implementation for energy efficient multitasking systems based on Cortex-M3 architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip, ReCoSoC 2014, Montpellier, France, May 26-28, 2014, pp. 1-7, 2014, IEEE, 978-1-4799-5810-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Motoharu Nakajima, Shuichi Oikawa |
Analyzing Behavior of Less Interrupt Overhead Architecture for Effective Cache Utilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR ![In: Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014, pp. 611-613, 2014, IEEE Computer Society, 978-1-4799-4152-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Haozhong Zhang, Yu Guo |
Formal Verification of Interrupt Injection in a Hypervisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 74-81, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001 |
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 193-200, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Samuel Junjie Tan, Sergey Bratus, Travis Goodspeed |
Interrupt-oriented bugdoor programming: a minimalist approach to bugdooring embedded systems firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Proceedings of the 30th Annual Computer Security Applications Conference, ACSAC 2014, New Orleans, LA, USA, December 8-12, 2014, pp. 116-125, 2014, ACM, 978-1-4503-3005-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Matthias Beckert, Moritz Neukirchner, Rolf Ernst, Stefan M. Petters |
Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014, pp. 86:1-86:6, 2014, ACM, 978-1-4503-2730-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Sergio Sáez, Alfons Crespo |
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings, pp. 134-148, 2014, Springer, 978-3-319-08310-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Haibing Guan, Yaozu Dong, Ruhui Ma, Dongxiao Xu, Yang Zhang, Jian Li 0021 |
Performance Enhancement for Network I/O Virtualization with Efficient Interrupt Coalescing and Virtual Receive-Side Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 24(6), pp. 1118-1128, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Haibing Guan, Yaozu Dong, Kun Tian, Jian Li 0021 |
SR-IOV Based Network Interrupt-Free Virtualization with Event Based Polling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 31(12), pp. 2596-2609, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun |
Verification of Data Races in Concurrent Interrupt Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 9, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|