Search results for "interrupt-driven"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	John Regehr	Random testing of interrupt-driven software.	EMSOFT	2005	DBLP DOI BibTeX RDF	interrupt-driven software, sensor networks, embedded systems, random testing
108	Dennis Brylow, Jens Palsberg	Deadline Analysis of Interrupt-Driven Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	multiresolution static analysis, Real time, testing oracles
108	Dennis Brylow, Jens Palsberg	Deadline analysis of interrupt-driven software.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	multi-resolution static analysis, real time, testing oracles
98	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg	Stack Size Analysis for Interrupt-Driven Programs.	SAS	2003	DBLP DOI BibTeX RDF
83	Bill Stoddart, Dominique Cansell, Frank Zeyda	Modelling and Proof Analysis of Interrupt Driven Scheduling.	B	2007	DBLP DOI BibTeX RDF	Interrupt Driven Scheduler, Formal Methods, Event Calculus
83	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
61	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF
59	Jupyung Lee, Kyu Ho Park	Interrupt handler migration and direct interrupt scheduling for rapid scheduling of interrupt-driven tasks.	ACM Trans. Embed. Comput. Syst.	2010	DBLP DOI BibTeX RDF
51	Xiaolin Chang, Jogesh K. Muppala, Pengcheng Zou, Xiangkai Li	A Robust Device Hybrid Scheme to Improve System Performance in Gigabit Ethernet Networks.	LCN	2007	DBLP DOI BibTeX RDF	Receive Livelock, interrupt coalescing, polling, Gigabit Ethernet
41	Richard Mancusi, Joyce L. Tokar, Moshe Rabinowitz, Eliezer N. Solomon, Marc Pitarys, Clive L. Benjamin	Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures.	Ada-Europe	1993	DBLP DOI BibTeX RDF
39	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating stack overflow by abstract interpretation.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
32	Heiko Mantel, Henning Sudbrock	Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.	CSF	2007	DBLP DOI BibTeX RDF
32	Greg Hoover, Forrest Brewer, Timothy Sherwood	A case study of multi-threading in the embedded space.	CASES	2006	DBLP DOI BibTeX RDF	multi-threading, embedded architecture
32	Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk	On Interrupt-Transparent Synchronization in an Embedded Object-Oriented Operating System.	ISORC	2000	DBLP DOI BibTeX RDF	real-time systems, embedded systems, synchronization, object orientation, operating systems
25	William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter	Asynchronous Exceptions as an Effect.	MPC	2008	DBLP DOI BibTeX RDF
22	Yu Wang 0093, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li	Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.	CoRR	2023	DBLP DOI BibTeX RDF
22	Tingting Yu, Chunpeng Jia, Rui Chen, Chao Li, Boxiang Wang, Yunsong Jiang	Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software.	ISSREW	2023	DBLP DOI BibTeX RDF
22	Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu 0003, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan	Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
22	Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu 0006, Mengfei Yang	An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.	ISSTA	2023	DBLP DOI BibTeX RDF
22	Yu Wang 0093, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li	Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
22	Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang	SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.	ISSTA	2022	DBLP DOI BibTeX RDF
22	Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang	Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning.	ISSTA	2022	DBLP DOI BibTeX RDF
22	Xiang Du, Liangze Yin, Haining Feng, Wei Dong 0006	Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities.	APSEC	2021	DBLP DOI BibTeX RDF
22	Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao 0006, Wei Dong 0006	Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs.	QRS Companion	2020	DBLP DOI BibTeX RDF
22	Haining Feng	A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program.	ASE	2020	DBLP DOI BibTeX RDF
22	Yuxia Sun, Song Guo 0001, Shing-Chi Cheung, Yong Tang 0001	Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
22	Yuxia Sun, Shing-Chi Cheung, Song Guo 0001, Ming Cheng	Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
22	Nikita Chopra, Rekha R. Pai, Deepak D'Souza	Data Races and Static Analysis for Interrupt-Driven Kernels.	ESOP	2019	DBLP DOI BibTeX RDF
22	Minxue Pan, Shouyu Chen, Yu Pei 0001, Tian Zhang 0001, Xuandong Li	Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.	ICSE	2019	DBLP DOI BibTeX RDF
22	Yuxia Sun, Song Guo 0001, Shing-Chi Cheung, Yong Tang 0001	Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs.	CoRR	2018	DBLP BibTeX RDF
22	Jian He, Zihao Zhang, Weiguo Yu	Interrupt-Driven Fall Detection System Realized via a Kalman Filter and kNN Algorithm.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
22	Gang Hou, Kuanjiu Zhou, Tie Qiu 0001, Weiqiang Kong, Mingchu Li	Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN.	IEEE Access	2017	DBLP DOI BibTeX RDF
22	Chungha Sung, Markus Kusano, Chao Wang 0001	Modular Verification of Interrupt-Driven Software.	CoRR	2017	DBLP BibTeX RDF
22	Yu Wang 0093, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li	Automatic detection and validation of race conditions in interrupt-driven embedded software.	ISSTA	2017	DBLP DOI BibTeX RDF
22	Chungha Sung, Markus Kusano, Chao Wang 0001	Modular verification of interrupt-driven software.	ASE	2017	DBLP DOI BibTeX RDF
22	Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong 0006, Ji Wang 0001	Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.	ACM Trans. Embed. Comput. Syst.	2016	DBLP DOI BibTeX RDF
22	Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Leonardo M. Reyneri, Almudena Lindoso, Luis Entrena	A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications.	IEEE Trans. Dependable Secur. Comput.	2016	DBLP DOI BibTeX RDF
22	Georgios Rokos, Gerard J. Gorman, Paul H. J. Kelly	An Interrupt-Driven Work-Sharing For-Loop Scheduler.	CoRR	2015	DBLP BibTeX RDF
22	Yu Wang 0093, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li	Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.	Internetware	2015	DBLP DOI BibTeX RDF
22	Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001	iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.	TASE	2014	DBLP DOI BibTeX RDF
22	Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu	A Denotational Model for Interrupt-Driven Programs.	ICST Workshops	2013	DBLP DOI BibTeX RDF
22	Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann	A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.	MBMV	2013	DBLP BibTeX RDF
22	Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong 0006, Ji Wang 0001	Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.	SERE (Companion)	2013	DBLP DOI BibTeX RDF
22	Randolf Rotta, Jana Traue, Thomas Prescher 0001, Jörg Nolte	Interrupt-Driven Cross-Core Invocation Mechanisms on the Intel SCC.	MARC@RWTH	2012	DBLP BibTeX RDF
22	Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin	Investigating Time Properties of Interrupt-Driven Programs.	SBMF	2012	DBLP DOI BibTeX RDF
22	Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun	Dynamic Race Detection Techniques for Interrupt-Driven Programs.	FGIT	2012	DBLP DOI BibTeX RDF
22	Michael D. Wilder, Robert Rinker	Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries.	DSD	2011	DBLP DOI BibTeX RDF
22	Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm	Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.	POPL	2011	DBLP DOI BibTeX RDF
22	Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu 0006, Mengfei Yang	Static Data Race Detection for Interrupt-Driven Embedded Software.	SSIRI (Companion)	2011	DBLP DOI BibTeX RDF
22	Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia	Timing analysis of interrupt-driven programs under context bounds.	FMCAD	2011	DBLP BibTeX RDF
22	Wei Le, Jing Yang 0003, Mary Lou Soffa, Kamin Whitehouse	Lazy preemption to enable path-based analysis of interrupt-driven code.	SESENA@ICSE	2011	DBLP DOI BibTeX RDF
22	Nathan Cooprider	Data-Flow Analysis for Interrupt-Driven Microcontroller Software.		2008	RDF
22	Khaled Salah 0001, Khalid Elbadawi	Throughput and delay analysis of interrupt-driven kernels under Poisson and bursty traffic.	Comput. Syst. Sci. Eng.	2007	DBLP BibTeX RDF
22	Sachin Bammi	A generic real time data acquisition pattern language for embedded applications involving interrupt driven I/O.	EuroPLoP	2007	DBLP BibTeX RDF
22	Khaled Salah 0001, K. El-Badawi	Throughput-delay analysis of interrupt-driven kernels with DMA enabled and disabled in high-speed networks.	J. High Speed Networks	2006	DBLP BibTeX RDF
22	Khaled Salah 0001	An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer.	ISCC	2005	DBLP DOI BibTeX RDF
22	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg	Stack size analysis for interrupt-driven programs.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
22	Khaled Salah 0001, K. El-Badawi	Performance evaluation of interrupt-driven kernels in gigabit networks.	GLOBECOM	2003	DBLP DOI BibTeX RDF
22	Dennis Brylow, Niels Damgaard, Jens Palsberg	Static Checking of Interrupt-Driven Software.	ICSE	2001	DBLP DOI BibTeX RDF
22	Jeffrey C. Mogul, K. K. Ramakrishnan	Eliminating Receive Livelock in an Interrupt-driven Kernel.	USENIX Annual Technical Conference	1996	DBLP BibTeX RDF
22	Marvin V. Zelkowitz	Interrupt Driven Programming.	Commun. ACM	1971	DBLP DOI BibTeX RDF
22	Robert J. Hall 0001	Rteq: modeling and validating infinite-state hard-real-time systems.	ASE	2007	DBLP DOI BibTeX RDF	GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time
15	Peng Li, John Regehr	T-check: bug finding for sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	T-Check, sensor networks, model checking, safety, random walk, liveness, TinyOS, event-driven
12	Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr	Efficient memory safety for TinyOS.	SenSys	2007	DBLP DOI BibTeX RDF	cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC
12	Nathan Cooprider, John Regehr	Pluggable abstract domains for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	abstract interpretation, embedded software, TinyOS
12	Michael Blocksome, Charles Archer, Todd Inglett, Patrick McCarthy, Michael B. Mundy, Joe Ratterman, A. Sidelnik, Brian E. Smith, George Almási 0001, José G. Castaños, Derek Lieber, José E. Moreira, Sriram Krishnamoorthy, Vinod Tipparaju, Jarek Nieplocha	Blue Gene system software - Design and implementation of a one-sided communication interface for the IBM eServer Blue Gene® supercomputer.	SC	2006	DBLP DOI BibTeX RDF	ARMCI, IBM Blue Gene, one-sided communication
12	Jaydeep Marathe, Frank Mueller 0001	Hardware profile-guided automatic page placement for ccNUMA systems.	PPoPP	2006	DBLP DOI BibTeX RDF	page placement, NUMA, profile-guided optimization, hardware performance monitoring
12	Martin Schulz 0001, Brian S. White, Sally A. McKee, Hsien-Hsin S. Lee, Jürgen Jeitner	Owl: next generation system monitoring.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	autonomous performance monitoring, performance analysis, reconfiguration
12	Mohamed A. Kerasha, Ian R. Greenshields	Huskysim: a simulation toolkit for application scheduling in computational grids.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	discrete event simulation, performance prediction, computational grids, adaptive scheduling
12	Philip James-Roxby, Gordon J. Brebner, Dennis Bemmann	Time-Critical Software Deceleration in an FCCM.	FCCM	2004	DBLP DOI BibTeX RDF
12	David Sitsky, Kenichi Hayashi	An MPI Library which uses Polling, Interrupts and Remote Copying for the Fujitsu AP1000+.	ISPAN	1996	DBLP DOI BibTeX RDF	Portable programming, Performance evaluation, MPI, Message passing, NAS parallel benchmark
12	Colin J. Fidge, Peter Kearney, Mark Utting	Interactively Verifying a Simple Real-time Scheduler.	CAV	1995	DBLP DOI BibTeX RDF
12	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
12	William W. McLendon Jr., Richard F. Vidale	Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
12	William D. Clinger, Anne Hartheimer, Eric Ost	Implementation Strategies for Continuations.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
12	Barry L. Kurtz, Joseph J. Pfeiffer Jr.	A course project to design and implement the kernel of a real-time operating system.	SIGCSE	1987	DBLP DOI BibTeX RDF
12	D. E. Swearingen, Thomas G. Windeknecht	A small KIM-1 based interactive music system.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF
12	Clemens B. Hergenhan, Mark M. Rochkind	The multipurpose batch station (MBS) system: software design.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF