Search results for "interrupts"

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