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