Search results for "interrupt"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Hyunwoo Joe, Duk-Kyun Woo, Hyungshin Kim	Enhancing the Simulation Speed of Sensor Network Applications by Asynchronization of Interrupt Service Routines.	Sensors	2013	DBLP DOI BibTeX RDF
18	Josef Strnadel	Load-Adaptive Monitor-Driven Hardware for Preventing Embedded Real-Time Systems from Overloads Caused by Excessive Interrupt Rates.	ARCS	2013	DBLP DOI BibTeX RDF
18	Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu	A Denotational Model for Interrupt-Driven Programs.	ICST Workshops	2013	DBLP DOI BibTeX RDF
18	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
18	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
18	Irfan Ahmed 0001, Aleksandar Zoranic, Salman Javaid, Golden G. Richard III, Vassil Roussev	Rule-Based Integrity Checking of Interrupt Descriptor Tables in Cloud Environments.	IFIP Int. Conf. Digital Forensics	2013	DBLP DOI BibTeX RDF
18	Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li	Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.	APPT	2013	DBLP DOI BibTeX RDF
18	Zijia Guo, Teng Wang, Xin'an Wang, Ziyi Hu	Design of an optimized low-latency interrupt controller for IMS-DPU.	ASICON	2013	DBLP DOI BibTeX RDF
18	Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic 0002, Didier Lime	Parametric Interrupt Timed Automata.	RP	2013	DBLP DOI BibTeX RDF
18	Ben van Gameren, Rini van Solingen	When to interrupt global software engineers to provide them with what information?	CollaborateCom	2013	DBLP DOI BibTeX RDF
18	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Interrupt Timed Automata: verification and expressiveness.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF
18	Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz	Integrated Task and Interrupt Management for Real-Time Systems.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
18	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Interrupt Timed Automata: verification and expressiveness	CoRR	2012	DBLP BibTeX RDF
18	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
18	Josef Strnadel	Monitoring-driven HW/SW interrupt overload prevention for embedded real-time systems.	DDECS	2012	DBLP DOI BibTeX RDF
18	Glenn A. Elliott, James H. Anderson	Robust Real-Time Multiprocessor Interrupt Handling Motivated by GPUs.	ECRTS	2012	DBLP DOI BibTeX RDF
18	Jisoo Yang, Dave B. Minturn, Frank T. Hady	When poll is better than interrupt.	FAST	2012	DBLP BibTeX RDF
18	Xiaoyu Zhou, Jianhua Zhao	An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems.	ISCTCS	2012	DBLP DOI BibTeX RDF
18	Hongbo Zou, Xian-He Sun, Siyuan Ma, Xi Duan	A Source-aware Interrupt Scheduling for Modern Parallel I/O Systems.	IPDPS	2012	DBLP DOI BibTeX RDF
18	Rainer Müller	Implementierung eines interrupt-gesteuerten OSEK-Betriebssystemkerns auf einem ARM-Cortex-M3-Mikrocontroller.	Informatiktage	2012	DBLP BibTeX RDF
18	Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin	Investigating Time Properties of Interrupt-Driven Programs.	SBMF	2012	DBLP DOI BibTeX RDF
18	Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun	Dynamic Race Detection Techniques for Interrupt-Driven Programs.	FGIT	2012	DBLP DOI BibTeX RDF
18	Anne M. Canavan	We interrupt this broadcast: highly reliable narrators in radio drama.	NHT@HT	2012	DBLP DOI BibTeX RDF
18	Luwei Cheng, Cho-Li Wang	vBalance: using interrupt load balance to improve I/O performance for SMP virtual machines.	SoCC	2012	DBLP DOI BibTeX RDF
18	Bernard Blackham, Yao Shi, Gernot Heiser	Improving interrupt response time in a verifiable protected microkernel.	EuroSys	2012	DBLP DOI BibTeX RDF
18	Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo 0005, Huibiao Zhu, Huixing Fang, Xin Ye	Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.	TASE	2012	DBLP DOI BibTeX RDF
18	Kristoffer Nyborg Gregertsen	Execution Time Control: A hardware accelerated Ada implementation with novel support for interrupt handling.		2012	RDF
18	Hong Li, Qi Hu, Peifeng Zhang, Zhigang Gao	A method to improve interrupt latency in real-time OS kernels.	J. Embed. Comput.	2011	DBLP DOI BibTeX RDF
18	Miao Liu, Duo Liu, Yi Wang 0003, Meng Wang 0005, Zili Shao	On Improving Real-Time Interrupt Latencies of Hybrid Operating Systems with Two-Level Hardware Interrupts.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF
18	Hai An Vu, Fangyan Dong, Kaoru Hirota	RTM (Robot Technology Middleware) Based Dynamic Interrupt System for Communication Between Humans and Robots.	J. Adv. Comput. Intell. Intell. Informatics	2011	DBLP DOI BibTeX RDF
18	Björn B. Brandenburg, Hennadiy Leontyev, James H. Anderson	An overview of interrupt accounting techniques for multiprocessor real-time systems.	J. Syst. Archit.	2011	DBLP DOI BibTeX RDF
18	Michael D. Wilder, Robert Rinker	Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries.	DSD	2011	DBLP DOI BibTeX RDF
18	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
18	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
18	Irfan Ahmad 0005, Ajay Gulati, Ali José Mashtizadeh	vIC: Interrupt Coalescing for Virtual Machine Storage Device IO.	USENIX Annual Technical Conference	2011	DBLP BibTeX RDF
18	Sugako Otani, Hiroyuki Kondo, Itaru Nonomura, Atsuyuki Ikeya, Minoru Uemura, Katsushi Asahina, Kazutami Arimoto, Shin'ichi Miura, Toshihiro Hanawa, Taisuke Boku, Mitsuhisa Sato	An 80 Gbps dependable multicore communication SoC with PCI express I/F and intelligent interrupt controller.	COOL Chips	2011	DBLP DOI BibTeX RDF
18	V. Om Prakash Rai, D. R. Mehta, S. K. Parganiha	External interrupt verification for microprocessor design.	ICWET	2011	DBLP DOI BibTeX RDF
18	Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia	Timing analysis of interrupt-driven programs under context bounds.	FMCAD	2011	DBLP BibTeX RDF
18	Byoung-Kwi Lee, Mun-Hye Kang, Kyoung Choon Park, Jin Seob Yi, Sang Woo Yang, Yong-Kee Jun	Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
18	Lin Tan 0001, Yuanyuan Zhou 0001, Yoann Padioleau	aComment: mining annotations from comments and code to detect interrupt related concurrency bugs.	ICSE	2011	DBLP DOI BibTeX RDF
18	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
18	Yongxin Zhao, Yanhong Huang, Jifeng He 0001, Si Liu 0001	Formal Model of Interrupt Program from a Probabilistic Perspective.	ICECCS	2011	DBLP DOI BibTeX RDF
18	Chin-Chia Jane, Yih-Wenn Laih	Computing Multi-State Two-Terminal Reliability Through Critical Arc States That Interrupt Demand.	IEEE Trans. Reliab.	2010	DBLP DOI BibTeX RDF
18	Minsub Lee, Juyoung Lee, Andrii Shyshkalov, Jaevaek Seo, Intaek Hong, Insik Shin	On interrupt scheduling based on process priority for predictable real-time behavior.	SIGBED Rev.	2010	DBLP DOI BibTeX RDF
18	Cheng-Min Lin	Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
18	Wenji Wu, Phil DeMar, Matt Crawford	Sorting Reordered Packets with Interrupt Coalescing	CoRR	2010	DBLP BibTeX RDF
18	James Mooney 0001, Simon Effler, Mark Halton, Abdulhussain E. Mahdi	Interrupt controller for DSP-based control of multi-rail DC-DC converters with non-integer switching frequency ratio.	ICECS	2010	DBLP DOI BibTeX RDF
18	Yi Lu 0004, Koen Bertels, Georgi Gaydadjiev	Efficient hardware task reuse and interrupt handling mechanisms for FPGA-based partially reconfigurable systems.	FPT	2010	DBLP DOI BibTeX RDF
18	Nicola Manica, Luca Abeni, Luigi Palopoli 0002	Reservation-Based Interrupt Scheduling.	IEEE Real-Time and Embedded Technology and Applications Symposium	2010	DBLP DOI BibTeX RDF	Scheduling, Real-Time, Operating Systems
18	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Real Time Properties for Interrupt Timed Automata.	TIME	2010	DBLP DOI BibTeX RDF
18	Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio, Katsuro Inoue	An effective method to control interrupt handler for data race detection.	AST	2010	DBLP DOI BibTeX RDF
18	Wenji Wu, Phil DeMar, Matt Crawford	Sorting Reordered Packets with Interrupt Coalescing.	Comput. Networks	2009	DBLP DOI BibTeX RDF
18	Khaled Salah 0001, A. Qahtan	Implementation and experimental performance evaluation of a hybrid interrupt-handling scheme.	Comput. Commun.	2009	DBLP DOI BibTeX RDF
18	Peifeng Zhang, Hong Li, Zhigang Gao	PIL: A Method to Improve Interrupt Latency in Real-Time Kernels.	ScalCom-EmbeddedCom	2009	DBLP DOI BibTeX RDF
18	Bastian Schlich, Thomas Noll 0001, Jörg Brauer, Lucas Brutschy	Reduction of Interrupt Handler Executions for Model Checking Embedded Software.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
18	Leslie D. Setlock, Susan R. Fussell, Eun Ji, Michaela Culver	Sorry to interrupt: asian media preferences in cross-cultural collaborations.	IWIC	2009	DBLP DOI BibTeX RDF
18	Brice Goglin, Nathalie Furmento	Finding a tradeoff between host interrupt load and MPI latency over Ethernet.	CLUSTER	2009	DBLP DOI BibTeX RDF
18	Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada	Dynamic Power Management for Embedded System Idle State in the Presence of Periodic Interrupt Services.	IPSJ Trans. Syst. LSI Des. Methodol.	2008	DBLP DOI BibTeX RDF
18	Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll 0001	Proving Correctness of an Efficient Abstraction for Interrupt Handling.	SSV	2008	DBLP DOI BibTeX RDF
18	Stergios D. Spanos, Apostolos Meliones, George I. Stassinopoulos	The internals of advanced interrupt handling techniques: Performance optimization of an embedded Linux network interface.	Comput. Commun.	2008	DBLP DOI BibTeX RDF
18	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
18	Luca Aceto, Silvio Capobianco	On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt.	Bull. EATCS	2008	DBLP BibTeX RDF
18	Paul Regnier, George Lima 0001, Luciano Barreto	Evaluation of interrupt handling timeliness in real-time Linux operating systems.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
18	Henning Zabel, Wolfgang Müller 0003	Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC.	MBMV	2008	DBLP BibTeX RDF
18	Gabriel Parmer, Richard West	Predictable Interrupt Management and Scheduling in the Composite Component-Based System.	RTSS	2008	DBLP DOI BibTeX RDF
18	Heiko Mantel, Henning Sudbrock	Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
18	Nathan Cooprider	Data-Flow Analysis for Interrupt-Driven Microcontroller Software.		2008	RDF
18	Khaled Salah 0001, K. El-Badawi, F. Haidari	Performance analysis and comparison of interrupt-handling schemes in gigabit networks.	Comput. Commun.	2007	DBLP DOI BibTeX RDF
18	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
18	Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada	Power Optimization for Embedded System Idle Time in the Presence of Periodic Interrupt Services.	IESS	2007	DBLP DOI BibTeX RDF
18	Sachin Bammi	A generic real time data acquisition pattern language for embedded applications involving interrupt driven I/O.	EuroPLoP	2007	DBLP BibTeX RDF
18	John Regehr, Nathan Cooprider	Interrupt Verification via Thread Verification.	TV@FLoC	2006	DBLP DOI BibTeX RDF
18	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain	Bisimilarity is not finitely based over BPA with interrupt.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
18	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
18	Appaya Devaraj Swaminathan, Tiberiu Seceleanu	Interrupt Communication on the SegBus platform.	SoCC	2006	DBLP DOI BibTeX RDF
18	Daesung Lee 0001, Jeong Seob Kim, Jaehyun Park 0003, Ki-Chang Kim	Reducing Interrupt Latency at Linux Kernel Level for Real-Time Network.	ICAT	2006	DBLP DOI BibTeX RDF
18	Khaled Salah 0001, K. El-Badawi	Analysis and simulation of interrupt overhead impact on OS throughput in high-speed networks.	Int. J. Commun. Syst.	2005	DBLP DOI BibTeX RDF
18	Khaled Salah 0001	Integrated performance evaluating criterion for selecting between interrupt coalescing and normal interruption.	Int. J. High Perform. Comput. Netw.	2005	DBLP DOI BibTeX RDF
18	Cecily Heiner, Joseph Beck, Jack Mostow	When do Students Interrupt Help? Effects of Time, Help Type, and Individual Differences.	AIED	2005	DBLP BibTeX RDF
18	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
18	Qiming Teng, Xiangqun Chen, Xia Zhao	On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components.	ICESS	2004	DBLP DOI BibTeX RDF
18	Wojciech Noworyta	Distribution of Time Interval Between Successive Interrupt Requests.	DIPES	2004	DBLP DOI BibTeX RDF
18	Harald Fecher	Event Structures for Interrupt Process Algebras.	EXPRESS	2003	DBLP DOI BibTeX RDF
18	Anelia Vasileva, Angel Smrikarov	A training software model of an interrupt system.	CompSysTech	2003	DBLP DOI BibTeX RDF
18	Khaled Salah 0001, K. El-Badawi	Performance evaluation of interrupt-driven kernels in gigabit networks.	GLOBECOM	2003	DBLP DOI BibTeX RDF
18	Andreas Burg, Frank K. Gürkaynak, Hubert Kaeslin, Wolfgang Fichtner	Variable delay ripple carry adder with carry chain interrupt detection.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
18	Christian Panis, J. Hohl, Herbert Grünbacher, Jari Nurmi	xICU - in interrupt control unit for a configurable DSP core.	SoC	2003	DBLP DOI BibTeX RDF
18	Scott E. Fahlman	Selling interrupt rights: A way to control unwanted e-mail and telephone calls.	IBM Syst. J.	2002	DBLP DOI BibTeX RDF
18	Thomas Lehmann 0001, Mauro Cesar Zanella	Modeling and Software Synthesis of Interrupt Systems.	MBMV	2002	DBLP BibTeX RDF
18	Dimitrios Hristu-Varsakelis, P. R. Kumar 0001	Interrupt-based feedback control over a shared communication medium.	CDC	2002	DBLP DOI BibTeX RDF
18	Mansur H. Samadzadeh, Loai E. Garalnabi	Hardware/Software Cost Analysis of Interrupt Processing Strategies.	IEEE Micro	2001	DBLP DOI BibTeX RDF
18	Constantinos Dovrolis, Brad Thayer, Parameswaran Ramanathan	HIP: Hybrid Interrupt-Polling for the Network Interface.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
18	Aamer Jaleel, Bruce L. Jacob	In-Line Interrupt Handling for Software-Managed TLBs.	ICCD	2001	DBLP DOI BibTeX RDF
18	Dennis Brylow, Niels Damgaard, Jens Palsberg	Static Checking of Interrupt-Driven Software.	ICSE	2001	DBLP DOI BibTeX RDF
18	Akira Yamamoto	Queuing model with interrupt enable points and its application to the analyses of suspend controls of disk units.	Syst. Comput. Jpn.	2000	DBLP DOI BibTeX RDF
18	Holger W. Leister	Quantitative analysis of precise interrupt mechanisms for out-of-order execution processors.		1999	RDF
18	Martin W. S. Macauley	Interrupt latency in systems based on Intel 80×86 processors.	Microprocess. Microsystems	1998	DBLP DOI BibTeX RDF
18	Ulrich Huckenbeck	On Valve Adjustments that Interrupt all s-t-Paths in a Digraph.	J. Autom. Lang. Comb.	1997	DBLP DOI BibTeX RDF
18	Jeffrey C. Mogul, K. K. Ramakrishnan	Eliminating Receive Livelock in an Interrupt-driven Kernel.	USENIX Annual Technical Conference	1996	DBLP BibTeX RDF
18	Ping Hu, Bruce Christianson	Is Your Computing Environment Secure? Security Problems With Interrupt Handling Mechanisms.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF