The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for interrupt with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1956-1973 (15) 1974-1981 (15) 1982-1987 (22) 1988-1990 (17) 1991-1993 (15) 1994-1996 (20) 1997-1998 (16) 1999-2000 (30) 2001 (24) 2002 (28) 2003 (31) 2004 (29) 2005 (48) 2006 (57) 2007 (62) 2008 (62) 2009 (35) 2010 (18) 2011 (16) 2012 (17) 2013-2014 (24) 2015 (21) 2016 (18) 2017-2018 (28) 2019-2020 (26) 2021-2022 (25) 2023 (21) 2024 (4)
Publication types (Num. hits)
article(165) book(1) incollection(2) inproceedings(573) phdthesis(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 727 occurrences of 523 keywords

Results
Found 744 publication records. Showing 744 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
114John Regehr Random testing of interrupt-driven software. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF interrupt-driven software, sensor networks, embedded systems, random testing
104Seong-ryong Kang, Dmitri Loguinov IMR-Pathload: Robust Available Bandwidth Estimation Under End-Host Interrupt Delay. Search on Bibsonomy PAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interrupt moderation, interrupt delays, network measurement, Bandwidth estimation
95Yuting Zhang, Richard West Process-Aware Interrupt Scheduling and Accounting. Search on Bibsonomy RTSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
95Dennis Brylow, Jens Palsberg Deadline Analysis of Interrupt-Driven Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multiresolution static analysis, Real time, testing oracles
95Dennis Brylow, Jens Palsberg Deadline analysis of interrupt-driven software. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multi-resolution static analysis, real time, testing oracles
86Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg Stack Size Analysis for Interrupt-Driven Programs. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
85Peng Liu 0027, Ming Cai, Tingting Fu, Jinxiang Dong An EDF Interrupt Handling Scheme for Real-Time Kernel: Design and Task Simulation. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interrupt scheduling, Task simulation, Similar Earliest-Deadline-First, Real-time system
85Peng Liu 0027, Guojun Dai, Tingting Fu, Hong Zeng, Xiang Zhang A Lazy EDF Interrupt Scheduling Algorithm for Multiprocessor in Parallel Computing Environment. Search on Bibsonomy ICA3PP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interrupt scheduling, Lazy EDF, Real-time system, Parallel computing, Multiprocessor
85Aamer Jaleel, Bruce L. Jacob In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs). Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
76Jens Palsberg, Di Ma A Typed Interrupt Calculus. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
75Emre Özer 0001, Sumedh W. Sathaye, Kishore N. Menezes, Sanjeev Banerjia, Matthew D. Jennings, Thomas M. Conte A Fast Interrupt Handling Scheme for VLIW Processors. Search on Bibsonomy IEEE PACT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Interrupt, VLIW, Embedded Processors, ILP, Superscalar, Out-of-order Issue
68G. Scott Owen RT Prolog: a real time Prolog written in Ada. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Ada, Prolog
67Xiaolin Chang, Jogesh K. Muppala, Pengcheng Zou, Xiangkai Li A Robust Device Hybrid Scheme to Improve System Performance in Gigabit Ethernet Networks. Search on Bibsonomy LCN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Receive Livelock, interrupt coalescing, polling, Gigabit Ethernet
67Khaled Salah 0001, K. El-Badawi Modeling and Analysis of Interrupt Disable-Enable Scheme. Search on Bibsonomy AINA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Jianjun Jiang, Jiguang Liu, Yun Yao An Interrupt Mechanism in Grid. Search on Bibsonomy IMSCCS (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67John Regehr, Usit Duongsaa Preventing interrupt overload. Search on Bibsonomy LCTES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, embedded, interrupts, overload
67Khaled Salah 0001 An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer. Search on Bibsonomy ISCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Aamer Jaleel, Bruce L. Jacob Improving the Precise Interrupt Mechanism of Software-Managed TLB Miss Handlers. Search on Bibsonomy HiPC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
66Bill Stoddart, Dominique Cansell, Frank Zeyda Modelling and Proof Analysis of Interrupt Driven Scheduling. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interrupt Driven Scheduler, Formal Methods, Event Calculus
66Jeffrey C. Mogul, K. K. Ramakrishnan Eliminating Receive Livelock in an Interrupt-Driven Kemel. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF interrupt-driven kernel, scheduling, polling, livelock
65Maobing Dai, Yutaka Ishikawa Delayed Interrupt Processing Technique for Reducing Latency of Timer Interrupt in Embedded Linux. Search on Bibsonomy CSE (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Weiwu Hu, Gang Shi, Fuxin Zhang Communication with Threads in Software DSM. Search on Bibsonomy CLUSTER The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
57Fu-Ching Yang, Wen-Kai Huang, Jing-Kun Zhong, Ing-Jer Huang Automatic Verification of External Interrupt Behaviors for Microprocessor Design. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Stephan Korsholm, Martin Schoeberl, Anders P. Ravn Interrupt Handlers in Java. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Antonino Tumeo, Marco Branca, Lorenzo Camerini, Matteo Monchiero, Gianluca Palermo, Fabrizio Ferrandi, Donatella Sciuto An Interrupt Controller for FPGA-based Multiprocessors. Search on Bibsonomy ICSAMOS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Huaidong Shi, Ming Cai, Jinxiang Dong Interrupt Synchronization Lock for Real-time Operating Systems. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Richard 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. Search on Bibsonomy Ada-Europe The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
56Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski Real-time scheduling on multithreaded processors. Search on Bibsonomy RTCSA The full citation details ... 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
56Dong-Hwan Park, Soon-Ju Kang IEEE1394 OHCI device driver architecture for guarantee real-time requirement. Search on Bibsonomy RTCSA The full citation details ... 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
56Jinkyu 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. Search on Bibsonomy SEUS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Real-time, Throughput, Latency, Scheduling algorithm, Embedded operating systems, Interrupt handling
55Jupyung Lee, Kyu Ho Park Interrupt handler migration and direct interrupt scheduling for rapid scheduling of interrupt-driven tasks. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
48In-Su Yoon, Sang-Hwa Chung, Ben Lee, Hyuk-Chul Kwon Implementation and Performance Evaluation of M-VIA on AceNIC Gigabit Ethernet Card. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Xue-Yu Hong, Ling Zhang, Jinlong Hu New Scheme of Implementing Real-Time Linux. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time Linux, timer mechanism, interrupt handler
47Heiko Mantel, Henning Sudbrock Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. Search on Bibsonomy CSF The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang Automatic Verification of External Interrupt Behaviors for Microprocessor Design. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Ken W. Batcher, Robert A. Walker 0001 Interrupt Triggered Software Prefetching for Embedded CPU Instruction Cache. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Tullio Facchinetti, Giorgio C. Buttazzo, Mauro Marinoni, Giacomo Guidi Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems. Search on Bibsonomy ECRTS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Baris Guler, Ramesh Radhakrishnan, Ronald Pepper Performance Effects of Interrupt Throttle Rate on Linux Clusters using Intel Gigabit Network Adapters. Search on Bibsonomy CLUSTER The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Ravi S. Prasad, Manish Jain, Constantinos Dovrolis Effects of Interrupt Coalescence on Network Measurements. Search on Bibsonomy PAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Branden J. Moore, Thomas Slabach, Lambert Schaelicke Profiling Interrupt Handler Performance through Kernel Instrumentation. Search on Bibsonomy ICCD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder Execution time limitation of interrupt handlers in a Java operating system. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk On Interrupt-Transparent Synchronization in an Embedded Object-Oriented Operating System. Search on Bibsonomy ISORC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real-time systems, embedded systems, synchronization, object orientation, operating systems
47Chris Bailey 0002 Achieving Minimal and Deterministic Interrupt Execution in Stack-Based Processor Architectures. Search on Bibsonomy EUROMICRO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47Stefanos N. Damianakis, Yuqun Chen, Edward W. Felten Reducing Waiting Costs in User-Level Communication. Search on Bibsonomy IPPS The full citation details ... 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
46Fabian 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. Search on Bibsonomy CASES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling
46Chin-Hsien Wu, Tei-Wei Kuo, Chia-Lin Yang Energy-efficient flash-memory storage systems with an interrupt-emulation mechanism. Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interrupt-emulation I/O, programmed I/O, embedded systems, energy-efficient, flash memory, storage systems
39Mario Bravetti, Gianluigi Zavattaro On the Expressive Power of Process Interruption and Compensation. Search on Bibsonomy WS-FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Lambert Schaelicke, Al Davis, Sally A. McKee Profiling I/O Interrupts in Modern Architectures. Search on Bibsonomy MASCOTS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Urs Hölzle, Craig Chambers, David M. Ungar Debugging Optimized Code with Dynamic Deoptimization. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Self
38Hans-Juergen Boehm An almost non-blocking stack. Search on Bibsonomy PODC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interrupt handler, signal handler, stack, memory allocation, lock-free, compare-and-swap, non-blocking, linked list
38Yoav Etsion, Dan Tsafrir, Dror G. Feitelson Effects of clock resolution on the scheduling of interactive and soft real-time processes. Search on Bibsonomy SIGMETRICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF clock interrupt rate, scheduling, Linux, tuning, overhead, soft real-time, interactive process
38Uwe Brinkschulte, C. Krakowski, Jochen Kreuzinger, Theo Ungerer A Multithreaded Java Microcontroller for Thread-Oriented Real-Time Event Handling. Search on Bibsonomy IEEE PACT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multithreaded microcontroller, interrupt service thread, thread-oriented event-handling, real-time, java processor, proportional share
38Niklaus Wirth On multiprogramming, machine coding, and computer organization. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF PL360, file handling, parallelism, interrupt, multiprogramming, computer organization, input-output
38Béatrice Bérard, Serge Haddad Interrupt Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
38Xiaolin Chang, Jogesh K. Muppala, Zhen Han, Jiqiang Liu Analysis of Interrupt Coalescing Schemes for Receive-Livelock Problem in Gigabit Ethernet Network Hosts. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz Real-Time Scheduling of Interrupt Requests over Conventional PC Hardware. Search on Bibsonomy ENC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Janusz Borkowski Interrupt and Cancellation as Synchronization Methods. Search on Bibsonomy PPAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Manfred Langenbach-Belz Vergleich zweier Warteschlagenmodelle für Realzeit-rechnersysteme mit Interrupt- bzw. Takt-Gesteuerter Übernahme von Anforderungen aus der Peripherie. Search on Bibsonomy GI Jahrestagung The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
37Tao Cui, Hai Jin 0001, Xiaofei Liao, Haikun Liu A Virtual Machine Replay System Based on Para-virtualized Xen. Search on Bibsonomy NPC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Para-virtualized Device Model, Non-masked Interrupt, Advanced Programmable Interrupt Controller, Shared Memory
37Yaozu Dong, Dongxiao Xu, Yang Zhang, Guangdeng Liao Optimizing Network I/O Virtualization with Efficient Interrupt Coalescing and Virtual Receive Side Scaling. Search on Bibsonomy CLUSTER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Network I/O virtualization, Interrupt coalescing, Receive side scaling, Multi-core, Xen
37Sébastien Lafond, Johan Lilius Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. Search on Bibsonomy ECBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interrupt, Hardware accelerator
37Christian Siemers, Rainer Falsett, Reinhard Seyer, Klaus H. Ecker Supporting the Hard Real-Time Requirements of Mechatronic Systems by 2-Level Interrupt Service Management. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Mechatronic System, Event-Triggered System, Interrupt-Request Controller, Event Combining, Schedulability, Rate-Monotonic Analysis
37Wade Walker, Harvey G. Cragon Interrupt Processing in Concurrent Processors. Search on Bibsonomy Computer The full citation details ... 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
37Hwa C. Torng, Martin Day Interrupt Handling for Out-of-Order Execution Processors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
37Howard L. Morgan An interrupt based organization for management information systems. Search on Bibsonomy Commun. ACM The full citation details ... 1970 DBLP  DOI  BibTeX  RDF integrated data processing supervisors, interrupt scheduling, supervisory systems, parallel processing, interrupts, management information systems, monitoring systems
36Yifan Zhu, Peinan Li, Lutan Zhao, Dan Meng, Rui Hou 0001 ChaosINTC: A Secure Interrupt Management Mechanism against Interrupt-based Attacks on TEE. Search on Bibsonomy DAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
36Ryo Wada, Nobuyuki Yamasaki Fast Interrupt Handling Scheme by Using Interrupt Wake-Up Mechanism. Search on Bibsonomy CANDAR Workshops The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
36Geoff Collyer Setting Interrupt Priorities in Software via Interrupt Queueing. Search on Bibsonomy Comput. Syst. The full citation details ... 1996 DBLP  BibTeX  RDF
29Guoqiang Li 0001, Shoji Yuen, Masakazu Adachi Environmental Simulation of Real-Time Systems with Nested Interrupts. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Hideaki Kimura 0003, Mitsuhisa Sato, Takayuki Imada, Yoshihiko Hotta Runtime DVFS control with instrumented Code in power-scalable cluster system. Search on Bibsonomy CLUSTER The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Tony O'Donovan, Jonathan P. Benson, Utz Roedig, Cormac J. Sreenan Priority interrupts of Duty Cycled communications in wireless sensor networks. Search on Bibsonomy LCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Anthony D. Wood, John A. Stankovic, Gang Zhou DEEJAM: Defeating Energy-Efficient Jamming in IEEE 802.15.4-based Wireless Networks. Search on Bibsonomy SECON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Greg Hoover, Forrest Brewer, Timothy Sherwood A case study of multi-threading in the embedded space. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multi-threading, embedded architecture
29Hidenori Umeno, Masato Kiyama, Takafumi Fukunaga, Takashige Kubo New Method for Dispatching Waiting Logical Processors in Virtual Machine Systems. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Kyong Jo Jung, Seok Gan Jung, Chanik Park Stabilizing Execution Time of User Processes by Bottom Half Scheduler in Linux. Search on Bibsonomy ECRTS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Khaled Salah 0001, K. El-Badawi Evaluating System Performance in Gigabit Networks. Search on Bibsonomy LCN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Harold S. Stone, Dominique Thiébaut Footprints in the Cache. Search on Bibsonomy SIGMETRICS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
28Subrat Kumar Panda, Arnab Roy 0001, P. P. Chakrabarti 0001, Rajeev Kumar 0004 Simulation-based verification using Temporally Attributed Boolean Logic. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification
28Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost. Search on Bibsonomy ASP-DAC The full citation details ... 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
28John Regehr, Alastair Reid 0001, Kirk Webb Eliminating stack overflow by abstract interpretation. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
28James A. Whittaker, Andres De Vivanco Neutralizing windows-based malicious mobile code. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF API hooking, code signing, interrupt table, native code, worm, windows, wrapper, mobile code, virus, sandbox, Microsoft Windows
28Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis SPIRIT-μKernel for strongly partitioned real-time systems. Search on Bibsonomy RTCSA The full citation details ... 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
28Christophe Clavier, Jean-Sébastien Coron, Nora Dabbous Differential Power Analysis in the Presence of Hardware Countermeasures. Search on Bibsonomy CHES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF hardware countermeasure, random process interrupt, smart card, Power analysis
28Xiaodong Wang, Vwani P. Roychowdhury Minimizing communication overhead for matrix inversion algorithms on hypercubes. Search on Bibsonomy IPPS The full citation details ... 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
28Heejo Lee, Kenji Toda, Jong Kim 0001, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi Performance comparison of real-time architectures using simulation. Search on Bibsonomy RTCSA The full citation details ... 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
28John Drummond, Michael Wu A low level analysis of the realtime Mach distributed operating system. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 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
28Thomas Scholz, Michael Schäfers 0003 An improved dynamic register array concept for high-performance RISC processors. Search on Bibsonomy HICSS (1) The full citation details ... 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
28Sreeram Duvvuru, Siamak Arya Evaluation of a branch target address cache. Search on Bibsonomy HICSS (1) The full citation details ... 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
28Venkatesh Akella, Ganesh Gopalakrishnan Specification and Validation of Control-Intensive IC's in hopCP. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
28Narate 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. Search on Bibsonomy ARES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Mehrdad Reshadi, Daniel Gajski Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Daniel 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. Search on Bibsonomy ACP4IS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CiAO, aspect-aware operating system, aspect-oriented programming (AOP), configurability, AspectC++
28Silvia N. Schiaffino, Analía Amandi The IONWI Algorithm: Learning when and when not to interrupt. Search on Bibsonomy IFIP AI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF human-computer interaction, intelligent agents, user profiling
28Colin J. Fidge, Phil Cook Model Checking Interrupt-Dependent Software. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Jupyung Lee, Kyu Ho Park Delayed Locking Technique for Improving Real-Time Performance of Embedded Linux by Prediction of Timer Interrupt. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain Bisimilarity Is Not Finitely Based over BPA with Interrupt. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Mark A. Holliday System calls and interrupt vectors in an operating systems course. Search on Bibsonomy SIGCSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
Displaying result #1 - #100 of 744 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license