Search results for "Interrupt"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Aaron Goldberg, John A. Trotter	Interrupt-based hardware support for profiling memory system performance.	ICCD	1995	DBLP DOI BibTeX RDF	profiling memory system performance, superscalar technologies, Mprof prototype, data stall cycles, first level cache misses, Sun Sparc 10/41, performance evaluation, storage management, memory architecture, hardware support, sampling techniques, memory system performance
18	Koenraad M. R. Audenaert, Luk Levrouw	Interrupt replay: a debugging method for parallel programs with interrupts.	Microprocess. Microsystems	1994	DBLP DOI BibTeX RDF
18	Kevin Jeffay, Donald L. Stone	Accounting for interrupt handling costs in dynamic priority task systems.	RTSS	1993	DBLP DOI BibTeX RDF
18	Chia-Jiu Wang, Frank Emnett	Area and Performance Comparison of Pipelined RISC Processors Implementing Different Precise Interrupt Methods.	ICCD	1993	DBLP DOI BibTeX RDF
18	Daniel Stodolsky, J. Bradley Chen, Brian N. Bershad	Fast Interrupt Priority Management in Operating System Kernels.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
18	Colin Ware, Joseph Bonner, William Knight, Rod Cater	Moving icons as a human interrupt.	Int. J. Hum. Comput. Interact.	1992	DBLP DOI BibTeX RDF
18	Kenneth D. A. Pillay, Earl Layton Morris	A comparison of interrupt handling techniques using Modula-2 on the IBM PC.	Microprocess. Microsystems	1991	DBLP DOI BibTeX RDF
18	Yves Blaquière, Jacob Davidson	VHDL design of a priority interrupt controller and synchronizer for the MC68008.	Microprocess. Microsystems	1990	DBLP DOI BibTeX RDF
18	Thomas J. Quiggle	Asynchronous transfer of control and interrupt handling.	IRTAW	1990	DBLP DOI BibTeX RDF
18	David Rosenthal	Security Models for Priority Buffering and Interrupt Handling.	CSFW	1990	DBLP DOI BibTeX RDF
18	Paul A. Jennings	Ada interrupt handlers for hard real-time systems.	TRI-Ada	1990	DBLP DOI BibTeX RDF
18	David G. Strube, Michael J. Wagner	A quantitative evaluation of interrupt handling capabilities in Ada.	TRI-Ada	1989	DBLP DOI BibTeX RDF
18	Edward W. Felten	Generalized signals: an interrupt-based communication system for hypercubes.	C³P	1988	DBLP DOI BibTeX RDF
18	Jørgen Born Rasmussen, William F. Appelbe	Real-time Interrupt Handling in Ada.	Softw. Pract. Exp.	1987	DBLP DOI BibTeX RDF
18	Angel Alvarez	Real-time programming and priority interrupt systems.	IRTAW	1987	DBLP DOI BibTeX RDF
18	Thomas Risse 0002	Modelling Interrupt Based Interprocessor Communication by Time Petri Nets.	Fehlertolerierende Rechensysteme	1987	DBLP DOI BibTeX RDF
18	Antonio C. Silvestri	An IBM-PC numeric I/O interrupt.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
18	Brian Heal	Examination of microcomputer interrupt systems.	Microprocess. Microsystems	1985	DBLP DOI BibTeX RDF
18	Tomohiro Yoneda, Takashi Suzuoka, Yoshihiro Tohma	Interrupt handling in the loosely synchronized TMR system.	Syst. Comput. Jpn.	1985	DBLP DOI BibTeX RDF
18	Wolfgang Hoyer	Intertask Communication Realized with an Interrupt Mechanism.	ACM Annual Conference	1985	DBLP DOI BibTeX RDF
18	Phillip J. McKerrow	Evaluation of interrupt-handling routines with a logic-state analyser.	Perform. Evaluation	1983	DBLP DOI BibTeX RDF
18	A. Cantoni	A technique for interrupt distribution in a multiprocessor system.	Softw. Microsystems	1982	DBLP DOI BibTeX RDF
18	M. C. Toner, H. Sawistowski	Serial I/O of alphanumeric data under interrupt control.	Microprocess.	1978	DBLP DOI BibTeX RDF
18	J. Somogyi	Deadlock problems of dynamic memory allocation on minicomputers with multi-level interrupt system.	Acta Cybern.	1977	DBLP BibTeX RDF
18	Michael Wilkins	Microprocessor interrupt handling.	Microprocess.	1977	DBLP DOI BibTeX RDF
18	Richard L. Sites	Floating point significance interrupt proposal.	SIGARCH Comput. Archit. News	1973	DBLP DOI BibTeX RDF
18	Marvin V. Zelkowitz	Interrupt Driven Programming.	Commun. ACM	1971	DBLP DOI BibTeX RDF
18	Richard B. Kalin	Implementation of Interrupt Keys.	RFC	1971	DBLP DOI BibTeX RDF
18	M. Prasser	Interrupt-Oganisation bei Realzeit-Datenverarbeitunsanlagen.	ARCS	1970	DBLP DOI BibTeX RDF
18	Jerry D. Erwin, E. Douglas Jensen	Interrupt processing with queued content-addressable memories.	AFIPS Fall Joint Computing Conference	1970	DBLP DOI BibTeX RDF
18	Gerald N. Soma, Joseph D. Crunkleton, Robert E. Lord	A priority interrupt oriented hybrid executive.	AFIPS Fall Joint Computing Conference (1)	1968	DBLP DOI BibTeX RDF
18	R. V. Bock	An interrupt control for the B5000 data processor system.	AFIPS Fall Joint Computing Conference	1963	DBLP DOI BibTeX RDF
18	L. Richard Turner, J. H. Rawlings	Realization of Randomly Timed Computer Input and Output by Means of an Interrupt Feature.	IRE Trans. Electron. Comput.	1958	DBLP DOI BibTeX RDF
18	Jules Mersel	Program interrupt on the Univac scientific computer.	AIEE-IRE Computer Conference (Western)	1956	DBLP DOI BibTeX RDF
10	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
10	Xingang Liu, Jinpeng Huai, Qin Li 0014, Tianyu Wo	Network state consistency of virtual machine in live migration.	SAC	2010	DBLP DOI BibTeX RDF	virtual machines, virtual network, live migration
10	Shamsi T. Iqbal, Eric Horvitz	Notifications and awareness: a field study of alert usage and preferences.	CSCW	2010	DBLP DOI BibTeX RDF	interruption, notifications, workplace, task switching
10	Jean Yang 0001, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
10	Alexander D. Rast, Xin Jin 0003, Francesco Galluppi, Luis A. Plana, Cameron Patterson, Stephen B. Furber	Scalable event-driven native parallel processing: the SpiNNaker neuromimetic system.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	universal neural processor, asynchronous, event-driven
10	Kazuki Iida, Junki Ikeuchi, Toshiaki Uchiyama, Kenji Suzuki 0002	AirTiles: modular devices to create a flexible sensing space.	SIGGRAPH Emerging Technologies	2010	DBLP DOI BibTeX RDF
10	Paul Saulnier, Ehud Sharlin, Saul Greenberg	Exploring interruption in HRI using wizard of oz.	HRI	2010	DBLP DOI BibTeX RDF	robot behaviours, component, human-robot interaction, methodology, interruption, social
10	Tomohiro Amemiya, Taro Maeda, Hideyuki Ando	Location-free haptic interaction for large-area social applications.	Pers. Ubiquitous Comput.	2009	DBLP DOI BibTeX RDF	Wearable and mobile computing, Interface using sensory illusion, Interaction, Perception, Haptic display
10	Osameh M. Al-Kofahi, Ahmed E. Kamal 0001	Network coding-based protection of many-to-one wireless flows.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
10	Yangfan Zhou, Michael R. Lyu, Jiangchuan Liu	On Sensor Network Reconfiguration for Downtime-Free System Migration.	Mob. Networks Appl.	2009	DBLP DOI BibTeX RDF	sensor system migration, sensor network reconfiguration, network partition
10	Sadaf Mustafiz, Jörg Kienzle	DREP: A Requirements Engineering Process for Dependable Reactive Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
10	Giovani Gracioli, Sebastian Fischmeister	Tracing interrupts in embedded software.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, debugging, tracing, embedded software
10	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.	ICFEM	2009	DBLP DOI BibTeX RDF
10	Jing-Wun Lin, Chen-Chieh Wang, Chin-Yao Chang, Chung-Ho Chen, Kuen-Jong Lee, Yuan-Hua Chu, Jen-Chieh Yeh, Ying-Chuan Hsiao	Full System Simulation and Verification Framework.	IAS	2009	DBLP DOI BibTeX RDF
10	Pardha S. Pyla, Manas Tungare, Jerome Holman, Manuel A. Pérez-Quiñones	Continuous User Interfaces for Seamless Task Migration.	HCI (3)	2009	DBLP DOI BibTeX RDF
10	Andy Brown, Caroline Jay, Simon Harper	Audio presentation of auto-suggest lists.	W4A	2009	DBLP DOI BibTeX RDF	Web 2.0, eye-tracking, AJAX, visual disability
10	Marc Aoun, Julien Catalano, Peter van der Stok	Distributed Task Synchronization in Wireless Sensor Networks.	EWSN	2009	DBLP DOI BibTeX RDF	task synchronization, synchronized sampling, time synchronization, timestamping, real-time operating system, clock drift
10	Yehuda Afek, Nir Shavit, Moran Tzafrir	Interrupting Snapshots and the JavaTM^{\mbox{\tiny TM}} Size() Method.	DISC	2009	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot, global state
10	Pradipta De, Vijay Mann, Umang Mittaly	Handling OS jitter on multicore multithreaded systems.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco	Automatic customization of device drivers for IP-cores used with assorted CPU organizations.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	device driver design, embedded systems, hardware-software codesign
10	Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko	Behavioural Analysis of an I2C Linux Driver.	FMICS	2009	DBLP DOI BibTeX RDF
10	Asim Kadav, Matthew J. Renzelmann, Michael M. Swift	Tolerating hardware device failures in software.	SOSP	2009	DBLP DOI BibTeX RDF	reliability, debugging, code generation, recovery, device drivers
10	Ece Kamar, Ya'akov Gal, Barbara J. Grosz	Modeling User Perception of Interaction Opportunities for Effective Teamwork.	CSE (4)	2009	DBLP DOI BibTeX RDF
10	Richard H. R. Harper, Stuart Taylor	Glancephone: an exploration of human expression.	Mobile HCI	2009	DBLP DOI BibTeX RDF	glancephones, human expression, mobile phones, ethnography, habitus
10	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
10	Philip Werner Frey, Andreas Hasler, Bernard Metzler, Gustavo Alonso	Server-efficient high-definition media dissemination.	NOSSDAV	2009	DBLP DOI BibTeX RDF	iwarp, vcr-like media control, video-on-demand, rdma, zero-copy, one-sided communication
10	Nigamanth Sridhar, Jason O. Hallstrom	A specification idiom for reactive systems.	ICSE Companion	2009	DBLP DOI BibTeX RDF
10	Zhong Shao	Modular Development of Certified System Software.	TASE	2009	DBLP DOI BibTeX RDF
10	Marieke Huisman, Alejandro Tamalet	A Formal Connection between Security Automata and JML Annotations.	FASE	2009	DBLP DOI BibTeX RDF
10	Jingzhao Ou, Viktor K. Prasanna	A Cooperative Management Scheme for Power Efficient Implementations of Real-Time Operating Systems on Soft Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
10	Libor Waszniowski, Zdenek Hanzálek	Formal verification of multitasking applications based on timed automata model.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking
10	Zoran Stamenkovic, Goran Panic, Günter Schoof	A System-On-Chip for Wireless Body Area Sensor Network Node.	DDECS	2008	DBLP DOI BibTeX RDF
10	Josep Aguilar-Saborit, Mohammad Jalali, Dave Sharpe, Victor Muntés-Mulero	Exploiting pipeline interruptions for efficient memory allocation.	CIKM	2008	DBLP DOI BibTeX RDF	query optimizatioin, query processing
10	Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre	FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls.	PDP	2008	DBLP DOI BibTeX RDF	fault tolerant, firewall, stateful
10	Haithem Al-Mefleh, J. Morris Chang	High Performance Distributed Coordination Function for Wireless LANs.	Networking	2008	DBLP DOI BibTeX RDF
10	Olga Muñoz Ramos, Mari Carmen Puerta Melguizo, Lou Boves, Maria Gracia Castillo Vergara	Optimal access to information while writing: writing in the internet age.	IIiX	2008	DBLP DOI BibTeX RDF	proactive recommendation system, writing processes, interruptions, information seeking
10	Antonino Tumeo, Marco Branca, Lorenzo Camerini, Marco Ceriani, Matteo Monchiero, Gianluca Palermo, Fabrizio Ferrandi, Donatella Sciuto	A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications.	DATE	2008	DBLP DOI BibTeX RDF
10	Stefan Maus, Michal Moskal, Wolfram Schulte	Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.	AMAST	2008	DBLP DOI BibTeX RDF
10	Serge Egelman, A. J. Bernheim Brush, Kori M. Inkpen	Family accounts: a new paradigm for user accounts within the home environment.	CSCW	2008	DBLP DOI BibTeX RDF	user account models, ubiquitous computing, access control, personalization, file sharing, home computers
10	Wendy Ju, Brian A. Lee 0002, Scott R. Klemmer	Range: exploring implicit interaction through electronic whiteboard design.	CSCW	2008	DBLP DOI BibTeX RDF	foreground/background, ubiquitous computing, proactive, whiteboards, proxemics, implicit interaction
10	Naruemon Wattanapongsakorn, Chalermpol Charnsripinyo, Pakorn Leesutthipornchai	Providing Fault Tolerance in Wireless Backhaul Network Design with Path Restoration.	ARES	2008	DBLP DOI BibTeX RDF	Network Path Restoration, Genetic Algorithm, Optimization Algorithm, Survivable Network Design
10	Gian-Luigi Ferrari 0002	Ugo Montanari and Software Verification.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
10	Patrick Martin 0003, Jean-Pierre de la Croix, Magnus Egerstedt	MDLn: A Motion Description Language for networked systems.	CDC	2008	DBLP DOI BibTeX RDF
10	Valentina Salapura, Karthik Ganesan 0006, Alan Gara, Michael Gschwind, James C. Sexton, Robert Walkup	Next-Generation Performance Counters: Towards Monitoring Over Thousand Concurrent Events.	ISPASS	2008	DBLP DOI BibTeX RDF
10	Guna Santos, Angelo Duarte, Dolores Rexachs, Emilio Luque	Providing Non-stop Service for Message-Passing Based Parallel Applications with RADIC.	Euro-Par	2008	DBLP DOI BibTeX RDF
10	Huiying Liu, Shuqiang Jiang, Qingming Huang, Changsheng Xu	A generic virtual content insertion system based on visual attention analysis.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	visual attention, virtual content insertion
10	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Inter-context control-flow and data-flow test adequacy criteria for nesC applications.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	software testing, test adequacy criteria, networked embedded system
10	Kevin A. Li, Patrick Baudisch, Ken Hinckley	Blindsight: eyes-free access to mobile phones.	CHI	2008	DBLP DOI BibTeX RDF	user interfaces, mobile phone, devices, non-speech audio, eyes-free
10	Sebastian Hessel, Felix Bruns, Attila Bilgic, Adam Lackorzynski, Hermann Härtig, Josef Hausner	Acceleration of the L4/Fiasco microkernel using scratchpad memory.	MobiVirt	2008	DBLP DOI BibTeX RDF
10	Tzu-Chien Liu, Yi-Chun Lin, Madhumita Bhattacharya	Introducing Learning Technologies into Classroom in Accordance with Teacher's Instructional Approach.	ICALT	2008	DBLP DOI BibTeX RDF
10	Nelson Silva, Arnaldo S. R. Oliveira, Rui Santos, Luís Almeida 0001	The OReK real-time micro kernel for FPGA-based systems-on-chip.	ESTIMedia	2008	DBLP DOI BibTeX RDF
10	Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun	Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures.	CRITIS	2008	DBLP DOI BibTeX RDF
10	Raja Jurdak, Antonio G. Ruzzelli, Gregory M. P. O'Hare	Multi-Hop RFID Wake-Up Radio: Design, Evaluation and Energy Tradeoffs.	ICCCN	2008	DBLP DOI BibTeX RDF
10	Yunping Wu, Jinying Wu, Yu Lu, Wangbiao Li, Weida Su, Shenggui Lu, Shengzhen Cai	Principle of Task-Timeout and Its Application in Embedded Systems Design.	CSSE (1)	2008	DBLP DOI BibTeX RDF
10	Jian Zhang, Xiaoyong Li, Haibing Guan	The Optimization of Xen Network Virtualization.	CSSE (3)	2008	DBLP DOI BibTeX RDF
10	Zhen Yu, Xuefeng Zheng, Shao-jie Wang, Chao Wen	A Mechanism for P2P Traffic Control.	CSSE (4)	2008	DBLP DOI BibTeX RDF
10	Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007	Formal Modeling of Transaction Behavior in WS-BPEL.	CSSE (3)	2008	DBLP DOI BibTeX RDF
10	Kuan-Ta Chen, Andrew Liao, Hsing-Kuo Kenneth Pao, Hao-Hua Chu	Game Bot Detection Based on Avatar Trajectory.	ICEC	2008	DBLP DOI BibTeX RDF	Security, Online Games, User Behavior, Supervised Classification, Cheating Detection, Quake
10	M. Asif Khawaja, Natalie Ruiz, Fang Chen 0001	Think before you talk: an empirical study of relationship between speech pauses and cognitive load.	OZCHI	2008	DBLP DOI BibTeX RDF	pauses, speech features, measurement, cognitive load
10	Jürgen Greifeneder, Georg Frey	Reactivity analysis of different Networked Automation System architectures.	ETFA	2008	DBLP DOI BibTeX RDF
10	Jinpeng Wei, Bryan D. Payne, Jonathon Giffin, Calton Pu	Soft-Timer Driven Transient Kernel Control Flow Attacks and Defense.	ACSAC	2008	DBLP DOI BibTeX RDF
10	Giovani Gracioli, Danillo Moura Santos, Roberto de Matos, Lucas Francisco Wanner, Antônio Augusto Fröhlich	One-Shot Time Management Analysis in EPOS.	SCCC	2008	DBLP DOI BibTeX RDF
10	S. Ali A. Moosavian, Ebrahim Mohammadi Asl	Backlash Detection in CNC Machines Based on Experimental Vibration Analysis.	RAM	2008	DBLP DOI BibTeX RDF
10	Brian S. R. Armstrong, Sandhya K. Puthan Veettil	Soft Synchronization: Synchronization for Network-Connected Machine Vision Systems.	IEEE Trans. Ind. Informatics	2007	DBLP DOI BibTeX RDF
10	Renato Carmo, Tomás Feder, Yoshiharu Kohayakawa, Eduardo Sany Laber, Rajeev Motwani 0001, Liadan O'Callaghan, Rina Panigrahy, Dilys Thomas	Querying priced information in databases: The conjunctive case.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	online algorithms, Competitive analysis
10	Nir Avrahami, Yossi Azar	Minimizing Total Flow Time and Total Completion Time with Immediate Dispatching.	Algorithmica	2007	DBLP DOI BibTeX RDF