Search results for "Interrupt"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	John Regehr	Random testing of interrupt-driven software.	EMSOFT	2005	DBLP DOI BibTeX RDF	interrupt-driven software, sensor networks, embedded systems, random testing
104	Seong-ryong Kang, Dmitri Loguinov	IMR-Pathload: Robust Available Bandwidth Estimation Under End-Host Interrupt Delay.	PAM	2008	DBLP DOI BibTeX RDF	interrupt moderation, interrupt delays, network measurement, Bandwidth estimation
95	Yuting Zhang, Richard West	Process-Aware Interrupt Scheduling and Accounting.	RTSS	2006	DBLP DOI BibTeX RDF
95	Dennis Brylow, Jens Palsberg	Deadline Analysis of Interrupt-Driven Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	multiresolution static analysis, Real time, testing oracles
95	Dennis Brylow, Jens Palsberg	Deadline analysis of interrupt-driven software.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	multi-resolution static analysis, real time, testing oracles
86	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg	Stack Size Analysis for Interrupt-Driven Programs.	SAS	2003	DBLP DOI BibTeX RDF
85	Peng Liu 0027, Ming Cai, Tingting Fu, Jinxiang Dong	An EDF Interrupt Handling Scheme for Real-Time Kernel: Design and Task Simulation.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Interrupt scheduling, Task simulation, Similar Earliest-Deadline-First, Real-time system
85	Peng Liu 0027, Guojun Dai, Tingting Fu, Hong Zeng, Xiang Zhang	A Lazy EDF Interrupt Scheduling Algorithm for Multiprocessor in Parallel Computing Environment.	ICA3PP	2007	DBLP DOI BibTeX RDF	Interrupt scheduling, Lazy EDF, Real-time system, Parallel computing, Multiprocessor
85	Aamer Jaleel, Bruce L. Jacob	In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs).	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
76	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF
75	Emre Özer 0001, Sumedh W. Sathaye, Kishore N. Menezes, Sanjeev Banerjia, Matthew D. Jennings, Thomas M. Conte	A Fast Interrupt Handling Scheme for VLIW Processors.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Interrupt, VLIW, Embedded Processors, ILP, Superscalar, Out-of-order Issue
68	G. Scott Owen	RT Prolog: a real time Prolog written in Ada.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, Prolog
67	Xiaolin Chang, Jogesh K. Muppala, Pengcheng Zou, Xiangkai Li	A Robust Device Hybrid Scheme to Improve System Performance in Gigabit Ethernet Networks.	LCN	2007	DBLP DOI BibTeX RDF	Receive Livelock, interrupt coalescing, polling, Gigabit Ethernet
67	Khaled Salah 0001, K. El-Badawi	Modeling and Analysis of Interrupt Disable-Enable Scheme.	AINA	2007	DBLP DOI BibTeX RDF
67	Jianjun Jiang, Jiguang Liu, Yun Yao	An Interrupt Mechanism in Grid.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
67	John Regehr, Usit Duongsaa	Preventing interrupt overload.	LCTES	2005	DBLP DOI BibTeX RDF	scheduling, embedded, interrupts, overload
67	Khaled Salah 0001	An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer.	ISCC	2005	DBLP DOI BibTeX RDF
67	Aamer Jaleel, Bruce L. Jacob	Improving the Precise Interrupt Mechanism of Software-Managed TLB Miss Handlers.	HiPC	2001	DBLP DOI BibTeX RDF
66	Bill Stoddart, Dominique Cansell, Frank Zeyda	Modelling and Proof Analysis of Interrupt Driven Scheduling.	B	2007	DBLP DOI BibTeX RDF	Interrupt Driven Scheduler, Formal Methods, Event Calculus
66	Jeffrey C. Mogul, K. K. Ramakrishnan	Eliminating Receive Livelock in an Interrupt-Driven Kemel.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	interrupt-driven kernel, scheduling, polling, livelock
65	Maobing Dai, Yutaka Ishikawa	Delayed Interrupt Processing Technique for Reducing Latency of Timer Interrupt in Embedded Linux.	CSE (2)	2009	DBLP DOI BibTeX RDF
58	Weiwu Hu, Gang Shi, Fuxin Zhang	Communication with Threads in Software DSM.	CLUSTER	2001	DBLP DOI BibTeX RDF
57	Fu-Ching Yang, Wen-Kai Huang, Jing-Kun Zhong, Ing-Jer Huang	Automatic Verification of External Interrupt Behaviors for Microprocessor Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
57	Stephan Korsholm, Martin Schoeberl, Anders P. Ravn	Interrupt Handlers in Java.	ISORC	2008	DBLP DOI BibTeX RDF
57	Antonino Tumeo, Marco Branca, Lorenzo Camerini, Matteo Monchiero, Gianluca Palermo, Fabrizio Ferrandi, Donatella Sciuto	An Interrupt Controller for FPGA-based Multiprocessors.	ICSAMOS	2007	DBLP DOI BibTeX RDF
57	Huaidong Shi, Ming Cai, Jinxiang Dong	Interrupt Synchronization Lock for Real-time Operating Systems.	CIT	2006	DBLP DOI BibTeX RDF
57	Richard Mancusi, Joyce L. Tokar, Moshe Rabinowitz, Eliezer N. Solomon, Marc Pitarys, Clive L. Benjamin	Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures.	Ada-Europe	1993	DBLP DOI BibTeX RDF
56	Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski	Real-time scheduling on multithreaded processors.	RTCSA	2000	DBLP DOI BibTeX RDF	core processor, real-time events, interrupt service threads, interrupt service routines, zero-cycle context switching, fixed priority preemptive, least laxity first, embedded systems, real-time scheduling, processor scheduling, system-on-a-chip, multi-threading, earliest deadline first, multithreaded processors
56	Dong-Hwan Park, Soon-Ju Kang	IEEE1394 OHCI device driver architecture for guarantee real-time requirement.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE1394 OHCI device driver architecture, guaranteed real time requirement, priority based packet queueing, interrupt latency time, ISR, Interrupt Service Routine, device driver level support, real time characteristics, high priority applications, digital multimedia services, hard real time instrumentation, control applications, real-time systems, queueing theory, packet switching, interrupts, client-server systems, home networks, device drivers, QoS guarantees, real time requirements, real time middleware
56	Jinkyu Jeong, Euiseong Seo, Dongsung Kim, Jinsoo Kim 0001, Joonwon Lee, Yung-Joon Jung, Donghwan Kim, Kanghee Kim	Transparent and Selective Real-Time Interrupt Services for Performance Improvement.	SEUS	2007	DBLP DOI BibTeX RDF	Real-time, Throughput, Latency, Scheduling algorithm, Embedded operating systems, Interrupt handling
55	Jupyung Lee, Kyu Ho Park	Interrupt handler migration and direct interrupt scheduling for rapid scheduling of interrupt-driven tasks.	ACM Trans. Embed. Comput. Syst.	2010	DBLP DOI BibTeX RDF
48	In-Su Yoon, Sang-Hwa Chung, Ben Lee, Hyuk-Chul Kwon	Implementation and Performance Evaluation of M-VIA on AceNIC Gigabit Ethernet Card.	Euro-Par	2003	DBLP DOI BibTeX RDF
48	Xue-Yu Hong, Ling Zhang, Jinlong Hu	New Scheme of Implementing Real-Time Linux.	ICSEA	2006	DBLP DOI BibTeX RDF	real-time Linux, timer mechanism, interrupt handler
47	Heiko Mantel, Henning Sudbrock	Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.	CSF	2007	DBLP DOI BibTeX RDF
47	Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang	Automatic Verification of External Interrupt Behaviors for Microprocessor Design.	DAC	2007	DBLP DOI BibTeX RDF
47	Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz	Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels.	RTCSA	2006	DBLP DOI BibTeX RDF
47	Ken W. Batcher, Robert A. Walker 0001	Interrupt Triggered Software Prefetching for Embedded CPU Instruction Cache.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
47	Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz	Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
47	Tullio Facchinetti, Giorgio C. Buttazzo, Mauro Marinoni, Giacomo Guidi	Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems.	ECRTS	2005	DBLP DOI BibTeX RDF
47	Baris Guler, Ramesh Radhakrishnan, Ronald Pepper	Performance Effects of Interrupt Throttle Rate on Linux Clusters using Intel Gigabit Network Adapters.	CLUSTER	2005	DBLP DOI BibTeX RDF
47	Ravi S. Prasad, Manish Jain, Constantinos Dovrolis	Effects of Interrupt Coalescence on Network Measurements.	PAM	2004	DBLP DOI BibTeX RDF
47	Branden J. Moore, Thomas Slabach, Lambert Schaelicke	Profiling Interrupt Handler Performance through Kernel Instrumentation.	ICCD	2003	DBLP DOI BibTeX RDF
47	Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder	Execution time limitation of interrupt handlers in a Java operating system.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
47	Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk	On Interrupt-Transparent Synchronization in an Embedded Object-Oriented Operating System.	ISORC	2000	DBLP DOI BibTeX RDF	real-time systems, embedded systems, synchronization, object orientation, operating systems
47	Chris Bailey 0002	Achieving Minimal and Deterministic Interrupt Execution in Stack-Based Processor Architectures.	EUROMICRO	2000	DBLP DOI BibTeX RDF
47	Stefanos N. Damianakis, Yuqun Chen, Edward W. Felten	Reducing Waiting Costs in User-Level Communication.	IPPS	1997	DBLP DOI BibTeX RDF	waiting cost reduction, user-level communication libraries, interrupt servicing cost, SHRIMP multicomputer, user-level sockets library, hybrid spin-then-block strategy, interrupt path speed, performance, parallel architectures, messages, polling, network interfaces, parallel computer architectures
46	Fabian Scheler, Wanja Hofer, Benjamin Oechslein, Rudi Pfister, Wolfgang Schröder-Preikschat, Daniel Lohmann	Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system.	CASES	2009	DBLP DOI BibTeX RDF	ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling
46	Chin-Hsien Wu, Tei-Wei Kuo, Chia-Lin Yang	Energy-efficient flash-memory storage systems with an interrupt-emulation mechanism.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	interrupt-emulation I/O, programmed I/O, embedded systems, energy-efficient, flash memory, storage systems
39	Mario Bravetti, Gianluigi Zavattaro	On the Expressive Power of Process Interruption and Compensation.	WS-FM	2008	DBLP DOI BibTeX RDF
39	Lambert Schaelicke, Al Davis, Sally A. McKee	Profiling I/O Interrupts in Modern Architectures.	MASCOTS	2000	DBLP DOI BibTeX RDF
39	Urs Hölzle, Craig Chambers, David M. Ungar	Debugging Optimized Code with Dynamic Deoptimization.	PLDI	1992	DBLP DOI BibTeX RDF	Self
38	Hans-Juergen Boehm	An almost non-blocking stack.	PODC	2004	DBLP DOI BibTeX RDF	interrupt handler, signal handler, stack, memory allocation, lock-free, compare-and-swap, non-blocking, linked list
38	Yoav Etsion, Dan Tsafrir, Dror G. Feitelson	Effects of clock resolution on the scheduling of interactive and soft real-time processes.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	clock interrupt rate, scheduling, Linux, tuning, overhead, soft real-time, interactive process
38	Uwe Brinkschulte, C. Krakowski, Jochen Kreuzinger, Theo Ungerer	A Multithreaded Java Microcontroller for Thread-Oriented Real-Time Event Handling.	IEEE PACT	1999	DBLP DOI BibTeX RDF	multithreaded microcontroller, interrupt service thread, thread-oriented event-handling, real-time, java processor, proportional share
38	Niklaus Wirth	On multiprogramming, machine coding, and computer organization.	Commun. ACM	1969	DBLP DOI BibTeX RDF	PL360, file handling, parallelism, interrupt, multiprogramming, computer organization, input-output
38	Béatrice Bérard, Serge Haddad	Interrupt Timed Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF	decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
38	Xiaolin Chang, Jogesh K. Muppala, Zhen Han, Jiqiang Liu	Analysis of Interrupt Coalescing Schemes for Receive-Livelock Problem in Gigabit Ethernet Network Hosts.	ICC	2008	DBLP DOI BibTeX RDF
38	Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz	Real-Time Scheduling of Interrupt Requests over Conventional PC Hardware.	ENC	2006	DBLP DOI BibTeX RDF
38	Janusz Borkowski	Interrupt and Cancellation as Synchronization Methods.	PPAM	2001	DBLP DOI BibTeX RDF
38	Manfred Langenbach-Belz	Vergleich zweier Warteschlagenmodelle für Realzeit-rechnersysteme mit Interrupt- bzw. Takt-Gesteuerter Übernahme von Anforderungen aus der Peripherie.	GI Jahrestagung	1973	DBLP DOI BibTeX RDF
37	Tao Cui, Hai Jin 0001, Xiaofei Liao, Haikun Liu	A Virtual Machine Replay System Based on Para-virtualized Xen.	NPC	2009	DBLP DOI BibTeX RDF	Para-virtualized Device Model, Non-masked Interrupt, Advanced Programmable Interrupt Controller, Shared Memory
37	Yaozu Dong, Dongxiao Xu, Yang Zhang, Guangdeng Liao	Optimizing Network I/O Virtualization with Efficient Interrupt Coalescing and Virtual Receive Side Scaling.	CLUSTER	2011	DBLP DOI BibTeX RDF	Network I/O virtualization, Interrupt coalescing, Receive side scaling, Multi-core, Xen
37	Sébastien Lafond, Johan Lilius	Interrupt Costs in Embedded System with Short Latency Hardware Accelerators.	ECBS	2008	DBLP DOI BibTeX RDF	Interrupt, Hardware accelerator
37	Christian Siemers, Rainer Falsett, Reinhard Seyer, Klaus H. Ecker	Supporting the Hard Real-Time Requirements of Mechatronic Systems by 2-Level Interrupt Service Management.	IPDPS	2003	DBLP DOI BibTeX RDF	Mechatronic System, Event-Triggered System, Interrupt-Request Controller, Event Combining, Schedulability, Rate-Monotonic Analysis
37	Wade Walker, Harvey G. Cragon	Interrupt Processing in Concurrent Processors.	Computer	1995	DBLP DOI BibTeX RDF	Interrupt processing, imprecise interrupts, concurrent processors, checkpointing, taxonomy, superscalar processors, pipelined processors, out- of-order execution, out-of-order issue, precise interrupts
37	Hwa C. Torng, Martin Day	Interrupt Handling for Out-of-Order Execution Processors.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	out-of-order execution processors, low-level execution concurrency, vexing problem, hardware mechanism, concurrency control, latency, exception handling, exception handling, interrupts, superscalars, performance degradation, performance enhancement, instruction window, multiple instructions, interrupt handling
37	Howard L. Morgan	An interrupt based organization for management information systems.	Commun. ACM	1970	DBLP DOI BibTeX RDF	integrated data processing supervisors, interrupt scheduling, supervisory systems, parallel processing, interrupts, management information systems, monitoring systems
36	Yifan Zhu, Peinan Li, Lutan Zhao, Dan Meng, Rui Hou 0001	ChaosINTC: A Secure Interrupt Management Mechanism against Interrupt-based Attacks on TEE.	DAC	2023	DBLP DOI BibTeX RDF
36	Ryo Wada, Nobuyuki Yamasaki	Fast Interrupt Handling Scheme by Using Interrupt Wake-Up Mechanism.	CANDAR Workshops	2019	DBLP DOI BibTeX RDF
36	Geoff Collyer	Setting Interrupt Priorities in Software via Interrupt Queueing.	Comput. Syst.	1996	DBLP BibTeX RDF
29	Guoqiang Li 0001, Shoji Yuen, Masakazu Adachi	Environmental Simulation of Real-Time Systems with Nested Interrupts.	TASE	2009	DBLP DOI BibTeX RDF
29	Hideaki Kimura 0003, Mitsuhisa Sato, Takayuki Imada, Yoshihiko Hotta	Runtime DVFS control with instrumented Code in power-scalable cluster system.	CLUSTER	2008	DBLP DOI BibTeX RDF
29	Tony O'Donovan, Jonathan P. Benson, Utz Roedig, Cormac J. Sreenan	Priority interrupts of Duty Cycled communications in wireless sensor networks.	LCN	2008	DBLP DOI BibTeX RDF
29	Anthony D. Wood, John A. Stankovic, Gang Zhou	DEEJAM: Defeating Energy-Efficient Jamming in IEEE 802.15.4-based Wireless Networks.	SECON	2007	DBLP DOI BibTeX RDF
29	Greg Hoover, Forrest Brewer, Timothy Sherwood	A case study of multi-threading in the embedded space.	CASES	2006	DBLP DOI BibTeX RDF	multi-threading, embedded architecture
29	Hidenori Umeno, Masato Kiyama, Takafumi Fukunaga, Takashige Kubo	New Method for Dispatching Waiting Logical Processors in Virtual Machine Systems.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
29	Kyong Jo Jung, Seok Gan Jung, Chanik Park	Stabilizing Execution Time of User Processes by Bottom Half Scheduler in Linux.	ECRTS	2004	DBLP DOI BibTeX RDF
29	Khaled Salah 0001, K. El-Badawi	Evaluating System Performance in Gigabit Networks.	LCN	2003	DBLP DOI BibTeX RDF
29	Harold S. Stone, Dominique Thiébaut	Footprints in the Cache.	SIGMETRICS	1986	DBLP DOI BibTeX RDF
28	Subrat Kumar Panda, Arnab Roy 0001, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Simulation-based verification using Temporally Attributed Boolean Logic.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification
28	Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou	Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost.	ASP-DAC	2007	DBLP DOI BibTeX RDF	hardware modifications, software modifications, hardware timers, interrupt controllers, software/device driver, distributed software-defined radio system, hardware measurements, power manager, power management, multiprocessor systems, distributed real-time systems, power constraints, low-power embedded systems
28	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating stack overflow by abstract interpretation.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
28	James A. Whittaker, Andres De Vivanco	Neutralizing windows-based malicious mobile code.	SAC	2002	DBLP DOI BibTeX RDF	API hooking, code signing, interrupt table, native code, worm, windows, wrapper, mobile code, virus, sandbox, Microsoft Windows
28	Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-μKernel for strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling
28	Christophe Clavier, Jean-Sébastien Coron, Nora Dabbous	Differential Power Analysis in the Presence of Hardware Countermeasures.	CHES	2000	DBLP DOI BibTeX RDF	hardware countermeasure, random process interrupt, smart card, Power analysis
28	Xiaodong Wang, Vwani P. Roychowdhury	Minimizing communication overhead for matrix inversion algorithms on hypercubes.	IPPS	1995	DBLP DOI BibTeX RDF	matrix inversion algorithms, Gauss-Jordan inversion algorithms, parallel inversion algorithms, MIMD hypercube, parallel algorithms, performance analysis, hypercubes, communication complexity, hypercube networks, minimisation, data partitioning, communication overhead, matrix inversion, interrupt handling, asynchronous message passing
28	Heejo Lee, Kenji Toda, Jong Kim 0001, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi	Performance comparison of real-time architectures using simulation.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time architectures, discrete event-driven, task-based simulator, priority-based communication, simulation, schedulability, performance evaluation, real-time systems, parallel processing, predictability, distributed processing, discrete event simulation, performance prediction, network architectures, processor, distributed real-time systems, performance comparison, scheduling policy, parallel computer systems, dedicated processor, interrupt handling
28	John Drummond, Michael Wu	A low level analysis of the realtime Mach distributed operating system.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques
28	Thomas Scholz, Michael Schäfers 0003	An improved dynamic register array concept for high-performance RISC processors.	HICSS (1)	1995	DBLP DOI BibTeX RDF	dynamic register array concept, high-performance RISC processors, processor registers, Multi Windows, Threaded Windows, dynamic register array, dynamic register allocation, general purpose registers, fast context switches, short interrupt latency, exception routines, real time systems, data structures, data structures, interrupts, storage allocation, external memory, registers, reduced instruction set computing
28	Sreeram Duvvuru, Siamak Arya	Evaluation of a branch target address cache.	HICSS (1)	1995	DBLP DOI BibTeX RDF	branch target address cache evaluation, sequential flow, pipeline bubbles, branch penalty, cycles per instruction, multiple instruction issue processors, branch resolution scheme, target instruction fetch, unpredictable branches, fully predicated processor architecture, fetch stage, branch target caching policies, branch target address cache, register-relative branches, performance evaluation, interrupts, interrupt, program compilers, pipeline processing, cache storage, storage allocation, instructions, program control structures, cache sizes
28	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
28	Narate Taerat, Nichamon Naksinehaboon, Clayton Chandler, James Elliott, Chokchai Leangsuksun, George Ostrouchov, Stephen L. Scott, Christian Engelmann	Blue Gene/L Log Analysis and Time to Interrupt Estimation.	ARES	2009	DBLP DOI BibTeX RDF
28	Mehrdad Reshadi, Daniel Gajski	Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems.	DATE	2007	DBLP DOI BibTeX RDF
28	Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, Wolfgang Schröder-Preikschat	Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP.	ACP4IS	2007	DBLP DOI BibTeX RDF	CiAO, aspect-aware operating system, aspect-oriented programming (AOP), configurability, AspectC++
28	Silvia N. Schiaffino, Analía Amandi	The IONWI Algorithm: Learning when and when not to interrupt.	IFIP AI	2006	DBLP DOI BibTeX RDF	human-computer interaction, intelligent agents, user profiling
28	Colin J. Fidge, Phil Cook	Model Checking Interrupt-Dependent Software.	APSEC	2005	DBLP DOI BibTeX RDF
28	Jupyung Lee, Kyu Ho Park	Delayed Locking Technique for Improving Real-Time Performance of Embedded Linux by Prediction of Timer Interrupt.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
28	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain	Bisimilarity Is Not Finitely Based over BPA with Interrupt.	CALCO	2005	DBLP DOI BibTeX RDF
28	Mark A. Holliday	System calls and interrupt vectors in an operating systems course.	SIGCSE	1997	DBLP DOI BibTeX RDF
19	Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives