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 |
|