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. |
Sensors |
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. |
ARCS |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu |
A Denotational Model for Interrupt-Driven Programs. |
ICST Workshops |
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. |
MBMV |
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. |
SERE (Companion) |
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. |
IFIP Int. Conf. Digital Forensics |
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. |
APPT |
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. |
ASICON |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic 0002, Didier Lime |
Parametric Interrupt Timed Automata. |
RP |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Ben van Gameren, Rini van Solingen |
When to interrupt global software engineers to provide them with what information? |
CollaborateCom |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Interrupt Timed Automata: verification and expressiveness. |
Formal Methods Syst. Des. |
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. |
ACM Trans. Embed. Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Interrupt Timed Automata: verification and expressiveness |
CoRR |
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. |
MARC@RWTH |
2012 |
DBLP BibTeX RDF |
|
18 | Josef Strnadel |
Monitoring-driven HW/SW interrupt overload prevention for embedded real-time systems. |
DDECS |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Glenn A. Elliott, James H. Anderson |
Robust Real-Time Multiprocessor Interrupt Handling Motivated by GPUs. |
ECRTS |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jisoo Yang, Dave B. Minturn, Frank T. Hady |
When poll is better than interrupt. |
FAST |
2012 |
DBLP BibTeX RDF |
|
18 | Xiaoyu Zhou, Jianhua Zhao |
An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. |
ISCTCS |
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. |
IPDPS |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Rainer Müller |
Implementierung eines interrupt-gesteuerten OSEK-Betriebssystemkerns auf einem ARM-Cortex-M3-Mikrocontroller. |
Informatiktage |
2012 |
DBLP BibTeX RDF |
|
18 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin |
Investigating Time Properties of Interrupt-Driven Programs. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun |
Dynamic Race Detection Techniques for Interrupt-Driven Programs. |
FGIT |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Anne M. Canavan |
We interrupt this broadcast: highly reliable narrators in radio drama. |
NHT@HT |
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. |
SoCC |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Bernard Blackham, Yao Shi, Gernot Heiser |
Improving interrupt response time in a verifiable protected microkernel. |
EuroSys |
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. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Kristoffer Nyborg Gregertsen |
Execution Time Control: A hardware accelerated Ada implementation with novel support for interrupt handling. |
|
2012 |
RDF |
|
18 | Hong Li, Qi Hu, Peifeng Zhang, Zhigang Gao |
A method to improve interrupt latency in real-time OS kernels. |
J. Embed. Comput. |
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. |
IEEE Trans. Computers |
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. |
J. Adv. Comput. Intell. Intell. Informatics |
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. |
J. Syst. Archit. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Michael D. Wilder, Robert Rinker |
Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries. |
DSD |
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. |
POPL |
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. |
SSIRI (Companion) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Irfan Ahmad 0005, Ajay Gulati, Ali José Mashtizadeh |
vIC: Interrupt Coalescing for Virtual Machine Storage Device IO. |
USENIX Annual Technical Conference |
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. |
COOL Chips |
2011 |
DBLP DOI BibTeX RDF |
|
18 | V. Om Prakash Rai, D. R. Mehta, S. K. Parganiha |
External interrupt verification for microprocessor design. |
ICWET |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia |
Timing analysis of interrupt-driven programs under context bounds. |
FMCAD |
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. |
FGIT-ASEA/DRBC/EL |
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. |
ICSE |
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. |
SESENA@ICSE |
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. |
ICECCS |
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. |
IEEE Trans. Reliab. |
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. |
SIGBED Rev. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Cheng-Min Lin |
Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework. |
IEICE Trans. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Wenji Wu, Phil DeMar, Matt Crawford |
Sorting Reordered Packets with Interrupt Coalescing |
CoRR |
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. |
ICECS |
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. |
FPT |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Nicola Manica, Luca Abeni, Luigi Palopoli 0002 |
Reservation-Based Interrupt Scheduling. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
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. |
TIME |
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. |
AST |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Wenji Wu, Phil DeMar, Matt Crawford |
Sorting Reordered Packets with Interrupt Coalescing. |
Comput. Networks |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, A. Qahtan |
Implementation and experimental performance evaluation of a hybrid interrupt-handling scheme. |
Comput. Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Peifeng Zhang, Hong Li, Zhigang Gao |
PIL: A Method to Improve Interrupt Latency in Real-Time Kernels. |
ScalCom-EmbeddedCom |
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. |
Haifa Verification Conference |
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. |
IWIC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Brice Goglin, Nathalie Furmento |
Finding a tradeoff between host interrupt load and MPI latency over Ethernet. |
CLUSTER |
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. |
IPSJ Trans. Syst. LSI Des. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll 0001 |
Proving Correctness of an Efficient Abstraction for Interrupt Handling. |
SSV |
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. |
Comput. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | F. Ryan Johnson, JoAnn M. Paul |
Interrupt modeling for efficient high-level scheduler design space exploration. |
ACM Trans. Design Autom. Electr. Syst. |
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. |
Bull. EATCS |
2008 |
DBLP BibTeX RDF |
|
18 | Paul Regnier, George Lima 0001, Luciano Barreto |
Evaluation of interrupt handling timeliness in real-time Linux operating systems. |
ACM SIGOPS Oper. Syst. Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Henning Zabel, Wolfgang Müller 0003 |
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. |
MBMV |
2008 |
DBLP BibTeX RDF |
|
18 | Gabriel Parmer, Richard West |
Predictable Interrupt Management and Scheduling in the Composite Component-Based System. |
RTSS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Heiko Mantel, Henning Sudbrock |
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Nathan Cooprider |
Data-Flow Analysis for Interrupt-Driven Microcontroller Software. |
|
2008 |
RDF |
|
18 | Khaled Salah 0001, K. El-Badawi, F. Haidari |
Performance analysis and comparison of interrupt-handling schemes in gigabit networks. |
Comput. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, Khalid Elbadawi |
Throughput and delay analysis of interrupt-driven kernels under Poisson and bursty traffic. |
Comput. Syst. Sci. Eng. |
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. |
IESS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sachin Bammi |
A generic real time data acquisition pattern language for embedded applications involving interrupt driven I/O. |
EuroPLoP |
2007 |
DBLP BibTeX RDF |
|
18 | John Regehr, Nathan Cooprider |
Interrupt Verification via Thread Verification. |
TV@FLoC |
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. |
Theor. Comput. Sci. |
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. |
J. High Speed Networks |
2006 |
DBLP BibTeX RDF |
|
18 | Appaya Devaraj Swaminathan, Tiberiu Seceleanu |
Interrupt Communication on the SegBus platform. |
SoCC |
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. |
ICAT |
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. |
Int. J. Commun. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001 |
Integrated performance evaluating criterion for selecting between interrupt coalescing and normal interruption. |
Int. J. High Perform. Comput. Netw. |
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. |
AIED |
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. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Qiming Teng, Xiangqun Chen, Xia Zhao |
On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Noworyta |
Distribution of Time Interval Between Successive Interrupt Requests. |
DIPES |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Harald Fecher |
Event Structures for Interrupt Process Algebras. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Anelia Vasileva, Angel Smrikarov |
A training software model of an interrupt system. |
CompSysTech |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Khaled Salah 0001, K. El-Badawi |
Performance evaluation of interrupt-driven kernels in gigabit networks. |
GLOBECOM |
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. |
ISCAS (5) |
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. |
SoC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Scott E. Fahlman |
Selling interrupt rights: A way to control unwanted e-mail and telephone calls. |
IBM Syst. J. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Lehmann 0001, Mauro Cesar Zanella |
Modeling and Software Synthesis of Interrupt Systems. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
18 | Dimitrios Hristu-Varsakelis, P. R. Kumar 0001 |
Interrupt-based feedback control over a shared communication medium. |
CDC |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Mansur H. Samadzadeh, Loai E. Garalnabi |
Hardware/Software Cost Analysis of Interrupt Processing Strategies. |
IEEE Micro |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Constantinos Dovrolis, Brad Thayer, Parameswaran Ramanathan |
HIP: Hybrid Interrupt-Polling for the Network Interface. |
ACM SIGOPS Oper. Syst. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Aamer Jaleel, Bruce L. Jacob |
In-Line Interrupt Handling for Software-Managed TLBs. |
ICCD |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Dennis Brylow, Niels Damgaard, Jens Palsberg |
Static Checking of Interrupt-Driven Software. |
ICSE |
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. |
Syst. Comput. Jpn. |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Holger W. Leister |
Quantitative analysis of precise interrupt mechanisms for out-of-order execution processors. |
|
1999 |
RDF |
|
18 | Martin W. S. Macauley |
Interrupt latency in systems based on Intel 80×86 processors. |
Microprocess. Microsystems |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ulrich Huckenbeck |
On Valve Adjustments that Interrupt all s-t-Paths in a Digraph. |
J. Autom. Lang. Comb. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Jeffrey C. Mogul, K. K. Ramakrishnan |
Eliminating Receive Livelock in an Interrupt-driven Kernel. |
USENIX Annual Technical Conference |
1996 |
DBLP BibTeX RDF |
|
18 | Ping Hu, Bruce Christianson |
Is Your Computing Environment Secure? Security Problems With Interrupt Handling Mechanisms. |
ACM SIGOPS Oper. Syst. Rev. |
1995 |
DBLP DOI BibTeX RDF |
|