Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Hyunwoo Joe, Duk-Kyun Woo, Hyungshin Kim |
Enhancing the Simulation Speed of Sensor Network Applications by Asynchronization of Interrupt Service Routines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 13(8), pp. 11128-11145, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Josef Strnadel |
Load-Adaptive Monitor-Driven Hardware for Preventing Embedded Real-Time Systems from Overloads Caused by Excessive Interrupt Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Architecture of Computing Systems - ARCS 2013 - 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings, pp. 98-109, 2013, Springer, 978-3-642-36423-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu |
A Denotational Model for Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 15-20, 2013, IEEE Computer Society, 978-1-4799-1324-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann |
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013., pp. 49-60, 2013, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 978-3-86009-147-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
18 | Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong 0006, Ji Wang 0001 |
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE (Companion) ![In: Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume, pp. 204-210, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Irfan Ahmed 0001, Aleksandar Zoranic, Salman Javaid, Golden G. Richard III, Vassil Roussev |
Rule-Based Integrity Checking of Interrupt Descriptor Tables in Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Int. Conf. Digital Forensics ![In: Advances in Digital Forensics IX - 9th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 28-30, 2013, Revised Selected Papers, pp. 305-328, 2013, Springer, 978-3-642-41147-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li |
Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies - 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers, pp. 62-76, 2013, Springer, 978-3-642-45292-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Zijia Guo, Teng Wang, Xin'an Wang, Ziyi Hu |
Design of an optimized low-latency interrupt controller for IMS-DPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASICON ![In: IEEE 10th International Conference on ASIC, ASICON 2013, Shenzhen, China, October 28-31, 2013, pp. 1-4, 2013, IEEE, 978-1-4673-6415-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic 0002, Didier Lime |
Parametric Interrupt Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings, pp. 59-69, 2013, Springer, 978-3-642-41035-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Ben van Gameren, Rini van Solingen |
When to interrupt global software engineers to provide them with what information? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Austin, TX, USA, October 20-23, 2013, pp. 495-504, 2013, ICST / IEEE, 978-1-936968-92-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Interrupt Timed Automata: verification and expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 40(1), pp. 41-87, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz |
Integrated Task and Interrupt Management for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 11(2), pp. 32:1-32:31, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Interrupt Timed Automata: verification and expressiveness ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.6453, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Randolf Rotta, Jana Traue, Thomas Prescher 0001, Jörg Nolte |
Interrupt-Driven Cross-Core Invocation Mechanisms on the Intel SCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARC@RWTH ![In: Many-core Applications Research Community (MARC) Symposium at RWTH Aachen University, November 29th-30th 2012, Aachen, Germany, pp. 1-6, 2012, RWTH Aachen University, 978-3-00-039545-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Josef Strnadel |
Monitoring-driven HW/SW interrupt overload prevention for embedded real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012, pp. 121-126, 2012, IEEE, 978-1-4673-1187-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Glenn A. Elliott, James H. Anderson |
Robust Real-Time Multiprocessor Interrupt Handling Motivated by GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 24th Euromicro Conference on Real-Time Systems, ECRTS 2012, Pisa, Italy, July 11-13, 2012, pp. 267-276, 2012, IEEE Computer Society, 978-1-4673-2032-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jisoo Yang, Dave B. Minturn, Frank T. Hady |
When poll is better than interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAST ![In: Proceedings of the 10th USENIX conference on File and Storage Technologies, FAST 2012, San Jose, CA, USA, February 14-17, 2012, pp. 3, 2012, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Xiaoyu Zhou, Jianhua Zhao |
An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCTCS ![In: Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers, pp. 482-489, 2012, Springer, 978-3-642-35794-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Hongbo Zou, Xian-He Sun, Siyuan Ma, Xi Duan |
A Source-aware Interrupt Scheduling for Modern Parallel I/O Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21-25, 2012, pp. 156-166, 2012, IEEE Computer Society, 978-1-4673-0975-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Rainer Müller |
Implementierung eines interrupt-gesteuerten OSEK-Betriebssystemkerns auf einem ARM-Cortex-M3-Mikrocontroller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2012 - Fachwissenschaftlicher Informatik-Kongress 23. und 24. März 2012, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 159-162, 2012, GI, 978-3-88579-445-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin |
Investigating Time Properties of Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 131-146, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun |
Dynamic Race Detection Techniques for Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT ![In: Future Generation Information Technology - 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings, pp. 148-153, 2012, Springer, 978-3-642-35584-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Anne M. Canavan |
We interrupt this broadcast: highly reliable narrators in radio drama. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NHT@HT ![In: Proceedings of the 2nd workshop on Narrative and hypertext, NHT@HT 2012, Milwaukee, WI, USA, June 25-28, 2012, pp. 35-40, 2012, ACM, 978-1-4503-1408-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Luwei Cheng, Cho-Li Wang |
vBalance: using interrupt load balance to improve I/O performance for SMP virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: ACM Symposium on Cloud Computing, SOCC '12, San Jose, CA, USA, October 14-17, 2012, pp. 2, 2012, ACM, 978-1-4503-1761-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Bernard Blackham, Yao Shi, Gernot Heiser |
Improving interrupt response time in a verifiable protected microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012, pp. 323-336, 2012, ACM, 978-1-4503-1223-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo 0005, Huibiao Zhu, Huixing Fang, Xin Ye |
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, pp. 223-226, 2012, IEEE Computer Society, 978-0-7695-4751-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Kristoffer Nyborg Gregertsen |
Execution Time Control: A hardware accelerated Ada implementation with novel support for interrupt handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
18 | Hong Li, Qi Hu, Peifeng Zhang, Zhigang Gao |
A method to improve interrupt latency in real-time OS kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Embed. Comput. ![In: J. Embed. Comput. 4(1), pp. 37-45, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Miao Liu, Duo Liu, Yi Wang 0003, Meng Wang 0005, Zili Shao |
On Improving Real-Time Interrupt Latencies of Hybrid Operating Systems with Two-Level Hardware Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 60(7), pp. 978-991, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Hai An Vu, Fangyan Dong, Kaoru Hirota |
RTM (Robot Technology Middleware) Based Dynamic Interrupt System for Communication Between Humans and Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 15(5), pp. 506-514, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Björn B. Brandenburg, Hennadiy Leontyev, James H. Anderson |
An overview of interrupt accounting techniques for multiprocessor real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 57(6), pp. 638-654, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Michael D. Wilder, Robert Rinker |
Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland, pp. 430-433, 2011, IEEE Computer Society, 978-1-4577-1048-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm |
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011, pp. 93-104, 2011, ACM, 978-1-4503-0490-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu 0006, Mengfei Yang |
Static Data Race Detection for Interrupt-Driven Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 47-52, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Irfan Ahmad 0005, Ajay Gulati, Ali José Mashtizadeh |
vIC: Interrupt Coalescing for Virtual Machine Storage Device IO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2011 USENIX Annual Technical Conference, Portland, OR, USA, June 15-17, 2011, 2011, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Sugako Otani, Hiroyuki Kondo, Itaru Nonomura, Atsuyuki Ikeya, Minoru Uemura, Katsushi Asahina, Kazutami Arimoto, Shin'ichi Miura, Toshihiro Hanawa, Taisuke Boku, Mitsuhisa Sato |
An 80 Gbps dependable multicore communication SoC with PCI express I/F and intelligent interrupt controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOL Chips ![In: 2011 IEEE Symposium on Low-Power and High-Speed Chips, Cool Chips XIV, Yokohama, Japan, 20-22 April, 2011, pp. 1-3, 2011, IEEE Computer Society, 978-1-61284-883-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | V. Om Prakash Rai, D. R. Mehta, S. K. Parganiha |
External interrupt verification for microprocessor design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWET ![In: Proceedings of the ICWET '11 International Conference & Workshop on Emerging Trends in Technology, Mumbai, Maharashtra, India, February 25 - 26, 2011, pp. 1245-1246, 2011, ACM, 978-1-4503-0449-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia |
Timing analysis of interrupt-driven programs under context bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 81-90, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Byoung-Kwi Lee, Mun-Hye Kang, Kyoung Choon Park, Jin Seob Yi, Sang Woo Yang, Yong-Kee Jun |
Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA/DRBC/EL ![In: Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, pp. 407-415, 2011, Springer, 978-3-642-27206-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Lin Tan 0001, Yuanyuan Zhou 0001, Yoann Padioleau |
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, pp. 11-20, 2011, ACM, 978-1-4503-0445-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Wei Le, Jing Yang 0003, Mary Lou Soffa, Kamin Whitehouse |
Lazy preemption to enable path-based analysis of interrupt-driven code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESENA@ICSE ![In: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, Waikiki, Honolulu, HI, USA, May 22, 2011, pp. 43-48, 2011, ACM, 978-1-4503-0583-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Yongxin Zhao, Yanhong Huang, Jifeng He 0001, Si Liu 0001 |
Formal Model of Interrupt Program from a Probabilistic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, pp. 87-94, 2011, IEEE Computer Society, 978-0-7695-4381-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Chin-Chia Jane, Yih-Wenn Laih |
Computing Multi-State Two-Terminal Reliability Through Critical Arc States That Interrupt Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 59(2), pp. 338-345, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Minsub Lee, Juyoung Lee, Andrii Shyshkalov, Jaevaek Seo, Intaek Hong, Insik Shin |
On interrupt scheduling based on process priority for predictable real-time behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 7(1), pp. 6, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Cheng-Min Lin |
Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 93-D(9), pp. 2509-2519, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Wenji Wu, Phil DeMar, Matt Crawford |
Sorting Reordered Packets with Interrupt Coalescing ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1008.4931, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | James Mooney 0001, Simon Effler, Mark Halton, Abdulhussain E. Mahdi |
Interrupt controller for DSP-based control of multi-rail DC-DC converters with non-integer switching frequency ratio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 17th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2010, Athens, Greece, 12-15 December, 2010, pp. 1204-1207, 2010, IEEE, 978-1-4244-8155-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Yi Lu 0004, Koen Bertels, Georgi Gaydadjiev |
Efficient hardware task reuse and interrupt handling mechanisms for FPGA-based partially reconfigurable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPT ![In: Proceedings of the International Conference on Field-Programmable Technology, FPT 2010, 8-10 December 2010, Tsinghua University, Beijing, China, pp. 324-327, 2010, IEEE, 978-1-4244-8981-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Nicola Manica, Luca Abeni, Luigi Palopoli 0002 |
Reservation-Based Interrupt Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010, pp. 46-55, 2010, IEEE Computer Society, 978-0-7695-4001-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time, Operating Systems |
18 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Real Time Properties for Interrupt Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010, pp. 69-76, 2010, IEEE Computer Society, 978-0-7695-4187-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio, Katsuro Inoue |
An effective method to control interrupt handler for data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa, pp. 79-86, 2010, ACM, 978-1-60558-970-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Wenji Wu, Phil DeMar, Matt Crawford |
Sorting Reordered Packets with Interrupt Coalescing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 53(15), pp. 2646-2662, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, A. Qahtan |
Implementation and experimental performance evaluation of a hybrid interrupt-handling scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 32(1), pp. 179-188, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Peifeng Zhang, Hong Li, Zhigang Gao |
PIL: A Method to Improve Interrupt Latency in Real-Time Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ScalCom-EmbeddedCom ![In: International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, ScalCom-EmbeddedCom 2009, Dalian, China, September 25-27, 2009, pp. 75-80, 2009, IEEE Computer Society, 978-0-7695-3825-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Bastian Schlich, Thomas Noll 0001, Jörg Brauer, Lucas Brutschy |
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 5-20, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Leslie D. Setlock, Susan R. Fussell, Eun Ji, Michaela Culver |
Sorry to interrupt: asian media preferences in cross-cultural collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIC ![In: Proceedings of the 2009 international workshop on Intercultural collaboration, IWIC '09, Palo Alto, California, USA, February 20-21, 2009, pp. 309-312, 2009, ACM, 978-1-60558-502-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Brice Goglin, Nathalie Furmento |
Finding a tradeoff between host interrupt load and MPI latency over Ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2009 IEEE International Conference on Cluster Computing, August 31 - September 4, 2009, New Orleans, Louisiana, USA, pp. 1-9, 2009, IEEE Computer Society, 978-1-4244-5012-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada |
Dynamic Power Management for Embedded System Idle State in the Presence of Periodic Interrupt Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSJ Trans. Syst. LSI Des. Methodol. ![In: IPSJ Trans. Syst. LSI Des. Methodol. 1, pp. 48-57, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll 0001 |
Proving Correctness of an Efficient Abstraction for Interrupt Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, pp. 133-150, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Stergios D. Spanos, Apostolos Meliones, George I. Stassinopoulos |
The internals of advanced interrupt handling techniques: Performance optimization of an embedded Linux network interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 31(14), pp. 3460-3468, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | F. Ryan Johnson, JoAnn M. Paul |
Interrupt modeling for efficient high-level scheduler design space exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(1), pp. 10:1-10:22, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scenario oriented design, MESH, Heterogeneous chip multiprocessors |
18 | Luca Aceto, Silvio Capobianco |
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 95, pp. 220-240, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Paul Regnier, George Lima 0001, Luciano Barreto |
Evaluation of interrupt handling timeliness in real-time Linux operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 42(6), pp. 52-63, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Henning Zabel, Wolfgang Müller 0003 |
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008, pp. 31-39, 2008, Shaker. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Gabriel Parmer, Richard West |
Predictable Interrupt Management and Scheduling in the Composite Component-Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS 2008, Barcelona, Spain, 30 November - 3 December 2008, pp. 232-243, 2008, IEEE Computer Society, 978-0-7695-3477-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Heiko Mantel, Henning Sudbrock |
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, pp. 67-81, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Nathan Cooprider |
Data-Flow Analysis for Interrupt-Driven Microcontroller Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
18 | Khaled Salah 0001, K. El-Badawi, F. Haidari |
Performance analysis and comparison of interrupt-handling schemes in gigabit networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 30(17), pp. 3425-3441, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, Khalid Elbadawi |
Throughput and delay analysis of interrupt-driven kernels under Poisson and bursty traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 22(1-2), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada |
Power Optimization for Embedded System Idle Time in the Presence of Periodic Interrupt Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA, pp. 241-254, 2007, Springer, 978-0-387-72257-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sachin Bammi |
A generic real time data acquisition pattern language for embedded applications involving interrupt driven I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 12th European Conference on Pattern Languages of Programs (EuroPLoP '2007), Irsee, Germany, July 4-8, 2007., pp. 643-670, 2007, UVK - Universitaetsverlag Konstanz, 978-3-87940-819-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | John Regehr, Nathan Cooprider |
Interrupt Verification via Thread Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TV@FLoC ![In: Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006, pp. 139-150, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity is not finitely based over BPA with interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 366(1-2), pp. 60-81, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, K. El-Badawi |
Throughput-delay analysis of interrupt-driven kernels with DMA enabled and disabled in high-speed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. High Speed Networks ![In: J. High Speed Networks 15(2), pp. 157-172, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Appaya Devaraj Swaminathan, Tiberiu Seceleanu |
Interrupt Communication on the SegBus platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 2006 IEEE International SOC Conference, Austin, Texas, USA, September 24-27, 2006, pp. 229-232, 2006, IEEE, 0-7803-9781-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Daesung Lee 0001, Jeong Seob Kim, Jaehyun Park 0003, Ki-Chang Kim |
Reducing Interrupt Latency at Linux Kernel Level for Real-Time Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: Advances in Artificial Reality and Tele-Existence, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Proceedings, pp. 643-650, 2006, Springer, 3-540-49776-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, K. El-Badawi |
Analysis and simulation of interrupt overhead impact on OS throughput in high-speed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Commun. Syst. ![In: Int. J. Commun. Syst. 18(5), pp. 501-526, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001 |
Integrated performance evaluating criterion for selecting between interrupt coalescing and normal interruption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Netw. ![In: Int. J. High Perform. Comput. Netw. 3(5/6), pp. 434-445, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Cecily Heiner, Joseph Beck, Jack Mostow |
When do Students Interrupt Help? Effects of Time, Help Type, and Individual Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED ![In: Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, July 18-22, 2005, Amsterdam, The Netherlands, pp. 819-826, 2005, IOS Press, 978-1-58603-530-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg |
Stack size analysis for interrupt-driven programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 194(2), pp. 144-174, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Qiming Teng, Xiangqun Chen, Xia Zhao |
On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers, pp. 423-429, 2004, Springer, 3-540-28128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Noworyta |
Distribution of Time Interval Between Successive Interrupt Requests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France, pp. 53-62, 2004, Kluwer/Springer, 1-4020-8148-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Harald Fecher |
Event Structures for Interrupt Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 113-127, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Anelia Vasileva, Angel Smrikarov |
A training software model of an interrupt system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 4th International Conference on Computer Systems and Technologies: e-Learning, CompSysTech 2003, Rousse, Bulgaria, June 19-20, 2003, pp. 716-721, 2003, ACM, 978-954-9641-33-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, K. El-Badawi |
Performance evaluation of interrupt-driven kernels in gigabit networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Telecommunications Conference, 2003. GLOBECOM '03, San Francisco, CA, USA, 1-5 December 2003, pp. 3953-3957, 2003, IEEE, 0-7803-7974-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Burg, Frank K. Gürkaynak, Hubert Kaeslin, Wolfgang Fichtner |
Variable delay ripple carry adder with carry chain interrupt detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 113-116, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Christian Panis, J. Hohl, Herbert Grünbacher, Jari Nurmi |
xICU - in interrupt control unit for a configurable DSP core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoC ![In: Proceedings of the 2003 International Symposium on System-on-Chip, Tampere, Finland, November 19-21, 2003, pp. 75-78, 2003, IEEE, 0-7803-8160-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Scott E. Fahlman |
Selling interrupt rights: A way to control unwanted e-mail and telephone calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 41(4), pp. 759-, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Lehmann 0001, Mauro Cesar Zanella |
Modeling and Software Synthesis of Interrupt Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002, pp. 9-17, 2002, Shaker. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
18 | Dimitrios Hristu-Varsakelis, P. R. Kumar 0001 |
Interrupt-based feedback control over a shared communication medium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 3223-3228, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Mansur H. Samadzadeh, Loai E. Garalnabi |
Hardware/Software Cost Analysis of Interrupt Processing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 21(3), pp. 69-76, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Constantinos Dovrolis, Brad Thayer, Parameswaran Ramanathan |
HIP: Hybrid Interrupt-Polling for the Network Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 35(4), pp. 50-60, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Aamer Jaleel, Bruce L. Jacob |
In-Line Interrupt Handling for Software-Managed TLBs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 19th International Conference on Computer Design (ICCD 2001), VLSI in Computers and Processors, 23-26 September 2001, Austin, TX, USA, Proceedings, pp. 62-67, 2001, IEEE Computer Society, 0-7695-1200-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Dennis Brylow, Niels Damgaard, Jens Palsberg |
Static Checking of Interrupt-Driven Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada, pp. 47-56, 2001, IEEE Computer Society, 0-7695-1050-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Akira Yamamoto |
Queuing model with interrupt enable points and its application to the analyses of suspend controls of disk units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 31(11), pp. 51-59, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Holger W. Leister |
Quantitative analysis of precise interrupt mechanisms for out-of-order execution processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
18 | Martin W. S. Macauley |
Interrupt latency in systems based on Intel 80×86 processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 22(2), pp. 121-126, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ulrich Huckenbeck |
On Valve Adjustments that Interrupt all s-t-Paths in a Digraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 2(1), pp. 19-45, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Jeffrey C. Mogul, K. K. Ramakrishnan |
Eliminating Receive Livelock in an Interrupt-driven Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: Proceedings of the USENIX Annual Technical Conference, San Diego, California, USA, January 22-26, 1996, pp. 99-112, 1996, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | Ping Hu, Bruce Christianson |
Is Your Computing Environment Secure? Security Problems With Interrupt Handling Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 29(4), pp. 87-96, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|