The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1970-1983 (15) 1985-1989 (19) 1990-1993 (17) 1994-1995 (19) 1996-1998 (23) 1999-2000 (22) 2001-2002 (23) 2003 (20) 2004 (15) 2005 (25) 2006 (33) 2007 (33) 2008 (34) 2009 (21) 2010-2013 (18) 2014-2016 (23) 2017-2022 (17) 2023-2024 (2)
Publication types (Num. hits)
article(88) incollection(2) inproceedings(285) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 435 occurrences of 313 keywords

Results
Found 379 publication records. Showing 379 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
177Mayan Moudgill, Stamatis Vassiliadis Precise Interrupts. Search on Bibsonomy IEEE Micro The full citation details ... 1996 DBLP  DOI  BibTeX  RDF interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts
134Ted Hills Response to A Note on Structured Interrupts. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
110Xinyu 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
110Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo Certifying low-level programs with hardware interrupts and preemptive threads. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
78Guoqiang 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
78Daniel Sundmark, Henrik Thane Pinpointing interrupts in embedded real-time systems using context checksums. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
67Luke Wildman, Brad Long, Paul A. Strooper Testing Java Interrupts and Timed Waits. Search on Bibsonomy APSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
67Lambert 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
67Olivier Maquelin, Guang R. Gao, Herbert H. J. Hum, Kevin B. Theobald, Xinmin Tian Polling Watchdog: Combining Polling and Interrupts for Efficient Message Handling. Search on Bibsonomy ISCA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
65Aamer 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
65Henrik Thane, Hans Hansson Handling Interrupts in Testing of Distributed Real-Time Systems. Search on Bibsonomy RTCSA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF scheduling, Testing, interrupts, testability, determinism, distributed real-time systems, reproducibility, response-time analysis, sporadic tasks, probe-effect
56Joe Gwinn Some Measurements of Timeline Gaps in VAX/VMS. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF VAX/VMS
56Kohei Suenaga, Naoki Kobayashi 0001 Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Miao Liu, Zili Shao, Meng Wang 0005, Hongxing Wei, Tianmiao Wang Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts. Search on Bibsonomy RTSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Dan Tsafrir The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops). Search on Bibsonomy Experimental Computer Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF clock interrupts, operating system noise, ticks
53M. Esen Tuna, Kamlesh Rath, Steven D. Johnson Specification and synthesis of bounded indirection. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
53Michael González Harbour, Mark H. Klein, John P. Lehoczky Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF periodic task set, fixed-priority methods, serially executed subtasks, complex priority structure, nonpreemptible sections, scheduling, schedulability, real-time systems, robots, robotics, message passing, interrupts, interrupts, timing analysis, execution time, hard real-time systems, fixed-priority scheduling, precedence constraints, periodic tasks, message-passing systems, synchronization protocols, uniprocessor
53Rajive L. Bagrodia, Chien-Chung Shen MIDAS: Integrated Design and Simulation of Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF partially implemented design, operational subsystems, stochastic performance characteristics, partially elaborated design, distributed systems, virtual machines, distributed processing, system design, interrupts, interrupts, simulation models, hybrid models, executable model, distributed components, simulation language, simulation languages, simulation algorithms, iterative refinement, MIDAS
45Maobing 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
45William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter Asynchronous Exceptions as an Effect. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Yesh C. Pendarkar The porting of XINU to the system 370 VM/CMS environment (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF XINU, IBM System/370
44Giovani Gracioli, Sebastian Fischmeister Tracing interrupts in embedded software. Search on Bibsonomy LCTES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF real-time systems, debugging, tracing, embedded software
43Roger Espasa, Mateo Valero, James E. Smith 0001 Out-of-Order Vector Architectures. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF memory traffic elimination, microarchitecture, out-of-order execution, memory latency, register renaming, vector architecture, precise interrupts
43James E. Smith, Andrew R. Pleszkun Implementing Precise Interrupts in Pipelined Processors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF precise recovery, precise interrupt problem, saved process state, sequential model of program execution, architectural order, parallel pipeline structure, Cray-1S scalar architecture, performance evaluation, parallel architectures, interrupts, pipeline processing, system recovery, pipelined processors, performance degradation
42Wade 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
33Stephan Korsholm, Martin Schoeberl, Anders P. Ravn Interrupt Handlers in Java. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Peng 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
33Pradipta De, Ravi Kothari, Vijay Mann Identifying sources of Operating System Jitter through fine-grained kernel instrumentation. Search on Bibsonomy CLUSTER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Huaidong 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
33Yuting Zhang, Richard West Process-Aware Interrupt Scheduling and Accounting. Search on Bibsonomy RTSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Colin J. Fidge, Phil Cook Model Checking Interrupt-Dependent Software. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Benjamin J. Welch, Shobhit O. Kanaujia, Adarsh Seetharam, Deepaksrivats Thirumalai, Alexander G. Dean Extending STI for demanding hard-real-time systems. Search on Bibsonomy CASES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF AVR, NTSC video, STIGLitz, post-pass compiler, embedded systems, hardware-to-software migration, fine-grain concurrency, software thread integration
33Aamer 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
33Alastair Reid 0001 Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes. Search on Bibsonomy IFL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Jeffrey 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
33Fu-Ching Yang, Jing-Kun Zhong, Ing-Jer Huang Verifying external interrupts of embedded microprocessor in SoC with on-chip bus. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Salman AlQahtani Performance Evaluation of Handling Interrupts Schemes in Gigabit Networks. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Martin Skambraks A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. Search on Bibsonomy SAFECOMP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Bruce Chittenden, James Hyde, Jeffrey P. Radick A scheme for terminal I/O not requiring interrupts. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
32Oguz Ergin, Deniz Balkan, Dmitry Ponomarev 0001, Kanad Ghose Early Register Deallocation Mechanisms Using Checkpointed Register Files. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF register file optimization, Superscalar processors, precise interrupts
32John Regehr, Usit Duongsaa Preventing interrupt overload. Search on Bibsonomy LCTES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, embedded, interrupts, overload
32Dan Tsafrir, Yoav Etsion, Dror G. Feitelson, Scott Kirkpatrick System noise, OS clock ticks, and fine-grained parallel applications. Search on Bibsonomy ICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modeling system noise, smart timers, timer interrupts, timing services, synchronization, operating systems, HPC, ticks
32Richard Gerber 0001, Insup Lee 0001 A Layered Approach to Automating the Verification of Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
22Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski Stack bounds analysis for microcontroller assembly code. Search on Bibsonomy WESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, verification, static analysis, embedded software, assembly code
22F. Ryan Johnson, JoAnn M. Paul Interrupt modeling for efficient high-level scheduler design space exploration. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scenario oriented design, MESH, Heterogeneous chip multiprocessors
22Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok Software monitoring with bounded overhead. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Megumi Ito, Shuichi Oikawa Improving Real-Time Performance of a Virtual Machine Monitor Based System. Search on Bibsonomy SEUS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Antonino 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
22Mari Carmen Puerta Melguizo, Lou Boves, Anita Deshpande, Olga Muñoz Ramos A proactive recommendation system for writing: helping without disrupting. Search on Bibsonomy ECCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proactive recommender system, writing stages, planning, interruptions, information seeking, editing
22Peng 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
22C. Michael Olsen, Chandra Narayanaswami PowerNap: An Efficient Power Management Scheme for Mobile Devices. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF operating systems, Power management, mobile systems, processors
22Matteo Marchesotti, Roberto Podestá, Mauro Migliardi A Measurement-Based Analysis of the Responsiveness of the Linux Kernel. Search on Bibsonomy ECBS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embedded systems, linux, soft real-time
22Zoran A. Salcic, Flavius Gruian, Partha S. Roop, Alif Wahid A Scheduler Support Unit for Reactive Microprocessors. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Hidenori 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
22John 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
22Satish Narayanasamy, Gilles Pokam, Brad Calder BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging. Search on Bibsonomy ISCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger A programmable microkernel for real-time systems. Search on Bibsonomy VEE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF real time, virtual machine, operating system
22John Regehr, Alastair Reid 0001, Kirk Webb, Michael A. Parker, Jay Lepreau Evolving real-time systems using hierarchical scheduling and concurrency analysis. Search on Bibsonomy RTSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Branden 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
22Christian Panis, Raimund Leitner, Jari Nurmi Scaleable Shadow Stack for a Configurable DSP Concept. Search on Bibsonomy IWSOC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Christopher D. Carothers XSim: real-time analytic parallel simulations. Search on Bibsonomy PADS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF xsim, real-time, predictability, parallel simulation, time warp
22Angelos Bilas, Dongming Jiang, Jaswinder Pal Singh Accelerating shared virtual memory via general-purpose network interface support. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF clusters, applications, system area networks, shared virtual memory
22Mohit Aron, Peter Druschel Soft timers: efficient microsecond software timer support for network processing. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF polling, timers, transmission scheduling
22Panagiotis Manolios Correctness of Pipelined Machines. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Mohit Aron, Peter Druschel Soft timers: efficient microsecond software timer support for network processing. Search on Bibsonomy SOSP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Jun Sawada, Warren A. Hunt Jr. Processor Verification with Precise Exeptions and Speculative Execution. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Stefanos 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
22Vincent John Mooney III, Giovanni De Micheli Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF worst-case execution time, rtos, hardware-software codesign, real-time analysis, run-time scheduler
22Vivek V. Badami, Paul Nielsen, James B. Comly An intelligent controller for process automation. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF procedural and rule-based language, crystal growth, Czochralski process, Supervisory controller
22Xin Zhang, Zhi Zhang 0001, Qingni Shen, Wenhao Wang 0001, Yansong Gao, Zhuoxi Yang, Jiliang Zhang 0002 SegScope: Probing Fine-grained Interrupts via Architectural Footprints. Search on Bibsonomy HPCA The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Peter Cai, Martin Karsten Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts. Search on Bibsonomy Proc. ACM Meas. Anal. Comput. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Moumita Dey, Baki Berkay Yilmaz, Milos Prvulovic, Alenka G. Zajic PRIMER: Profiling Interrupts Using Electromagnetic Side-Channel for Embedded Devices. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Amy Tai, Igor Smolyar, Michael Wei, Dan Tsafrir Optimizing Storage Performance with Calibrated Interrupts. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Sara Alonso, Jesús Lázaro 0001, Jaime Jiménez, Leire Muguira, Unai Bidarte The influence of virtualization on real-time systems' interrupts in embedded SoC platforms. Search on Bibsonomy DCIS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Yoochan Lee, Changwoo Min, Byoungyoung Lee ExpRace: Exploiting Kernel Races through Raising Interrupts. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2021 DBLP  BibTeX  RDF
22Nilanjana Basu, Claudio Montanari, Jakob Eriksson Frequent background polling on a shared thread, using light-weight compiler interrupts. Search on Bibsonomy PLDI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Amy Tai, Igor Smolyar, Michael Wei, Dan Tsafrir Optimizing Storage Performance with Calibrated Interrupts. Search on Bibsonomy OSDI The full citation details ... 2021 DBLP  BibTeX  RDF
22Taro Kiriyama, Yajun Wu, Satoshi Yamane Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions. Search on Bibsonomy GCCE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Yong Xie, Gang Zeng, Ryo Kurachi, Xin Peng 0002, Guoqi Xie, Hiroaki Takada Balancing Bandwidth Utilization and Interrupts: Two Heuristic Algorithms for the Optimized Design of Automotive CPS. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Oliver Horst, Johannes Wiesböck, Raphael Wild, Uwe Baumgarten Quantifying the Latency and Possible Throughput of External Interrupts on Cyber-Physical Systems. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22Joshua Allard, Andrew Roskuski, Mark Claypool Measuring and modeling the impact of buffering and interrupts on streaming video quality of experience. Search on Bibsonomy MoMM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Emiliano Silvestri, Cristian Milia, Romolo Marotta, Alessandro Pellegrini 0001, Francesco Quaglia Exploiting Inter-Processor-Interrupts for Virtual-Time Coordination in Speculative Parallel Discrete Event Simulation. Search on Bibsonomy SIGSIM-PADS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Jaya Subalakshmi Ramamoorthi, Arun Kumar Sangaiah SCGR: Self-configuring greedy routing for minimizing routing interrupts in vehicular communication networks. Search on Bibsonomy Internet Things The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig Effective Verification for Low-Level Software with Competing Interrupts. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Kevin Lloyd, Peter Dayan Interrupting behaviour: Minimizing decision costs via temporal commitment and low-level interrupts. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe Formalizing Memory Accesses and Interrupts. Search on Bibsonomy MARS@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Corey Tessler, Gedare Bloom, Nathan Fisher Work-in-Progress: Reducing Cache Conflicts via Interrupts and BUNDLE Scheduling. Search on Bibsonomy RTAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Daniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta, Luca Abeni Automata-based modeling of interrupts in the Linux PREEMPT RT kernel. Search on Bibsonomy ETFA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Zádor Dániel Kelemen, Balázs Tódor, Sándor Hodosi, Ákos Somfai Refactoring technical support to reduce interrupts of developers. Search on Bibsonomy J. Softw. Evol. Process. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Nadav Amit, Abel Gordon, Nadav Har'El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, Dan Tsafrir Bare-metal performance for virtual machines with exitless interrupts. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Illés Horváth, Miklós Telek Mean field for performance models with deterministic delays and interrupts. Search on Bibsonomy Perform. Evaluation The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Chris Merritt, Gurpreet Dhillon What Interrupts Intention to Comply with IS-Security Policy? Search on Bibsonomy AMCIS The full citation details ... 2016 DBLP  BibTeX  RDF
22Han Liu 0010, Yu Jiang 0001, Huafeng Zhang, Ming Gu 0001, Jiaguang Sun 0001 Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Fangyuan Li, Jiahu Qin, Shaoshuai Mou, Yu Kang 0001 Synchronization of interconnected embedded systems via timer interrupts. Search on Bibsonomy ICARCV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Konstantin Macarenco, Kristina Frye, Benjamin Hamlin, Karen L. Karavanic The Effects of System Management Interrupts on Multithreaded, Hyper-threaded, and MPI Applications. Search on Bibsonomy ICPP Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Ahmed Ibrahim 0001, Hans G. Kerkhoff Efficient utilization of hierarchical iJTAG networks for interrupts management. Search on Bibsonomy DFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Hristo Pentchev Sound semantics of a high-level language with interprocessor interrupts. Search on Bibsonomy 2016   RDF
22J. Alex Lee, Jaewook Nam, Matteo Pasquali A New Stabilization of Adaptive Step Trapezoid Rule Based on Finite Difference Interrupts. Search on Bibsonomy SIAM J. Sci. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Zádor Dániel Kelemen, Balázs Tódor, Sándor Hodosi, Ákos Somfai Refactoring Technical Support to Reduce Interrupts of Developers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
22Yanhong Huang, Jifeng He 0001, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin Semantic theories of programs with nested interrupts. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 379 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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