|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 727 occurrences of 523 keywords
|
|
|
Results
Found 744 publication records. Showing 744 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
114 | John Regehr |
Random testing of interrupt-driven software. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
interrupt-driven software, sensor networks, embedded systems, random testing |
104 | Seong-ryong Kang, Dmitri Loguinov |
IMR-Pathload: Robust Available Bandwidth Estimation Under End-Host Interrupt Delay. |
PAM |
2008 |
DBLP DOI BibTeX RDF |
interrupt moderation, interrupt delays, network measurement, Bandwidth estimation |
95 | Yuting Zhang, Richard West |
Process-Aware Interrupt Scheduling and Accounting. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
95 | 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 |
95 | 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 |
86 | 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 |
|
85 | 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 |
85 | 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 |
85 | 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 |
76 | Jens Palsberg, Di Ma |
A Typed Interrupt Calculus. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
75 | Emre Özer 0001, Sumedh W. Sathaye, Kishore N. Menezes, Sanjeev Banerjia, Matthew D. Jennings, Thomas M. Conte |
A Fast Interrupt Handling Scheme for VLIW Processors. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
Interrupt, VLIW, Embedded Processors, ILP, Superscalar, Out-of-order Issue |
68 | G. Scott Owen |
RT Prolog: a real time Prolog written in Ada. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
Ada, Prolog |
67 | 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 |
67 | Khaled Salah 0001, K. El-Badawi |
Modeling and Analysis of Interrupt Disable-Enable Scheme. |
AINA |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Jianjun Jiang, Jiguang Liu, Yun Yao |
An Interrupt Mechanism in Grid. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
67 | John Regehr, Usit Duongsaa |
Preventing interrupt overload. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, embedded, interrupts, overload |
67 | 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 |
|
67 | Aamer Jaleel, Bruce L. Jacob |
Improving the Precise Interrupt Mechanism of Software-Managed TLB Miss Handlers. |
HiPC |
2001 |
DBLP DOI BibTeX RDF |
|
66 | 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 |
66 | 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 |
65 | Maobing Dai, Yutaka Ishikawa |
Delayed Interrupt Processing Technique for Reducing Latency of Timer Interrupt in Embedded Linux. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Weiwu Hu, Gang Shi, Fuxin Zhang |
Communication with Threads in Software DSM. |
CLUSTER |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Fu-Ching Yang, Wen-Kai Huang, Jing-Kun Zhong, Ing-Jer Huang |
Automatic Verification of External Interrupt Behaviors for Microprocessor Design. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Stephan Korsholm, Martin Schoeberl, Anders P. Ravn |
Interrupt Handlers in Java. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
57 | 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 |
|
57 | Huaidong Shi, Ming Cai, Jinxiang Dong |
Interrupt Synchronization Lock for Real-time Operating Systems. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
57 | 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 |
|
56 | Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski |
Real-time scheduling on multithreaded processors. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
core processor, real-time events, interrupt service threads, interrupt service routines, zero-cycle context switching, fixed priority preemptive, least laxity first, embedded systems, real-time scheduling, processor scheduling, system-on-a-chip, multi-threading, earliest deadline first, multithreaded processors |
56 | Dong-Hwan Park, Soon-Ju Kang |
IEEE1394 OHCI device driver architecture for guarantee real-time requirement. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
IEEE1394 OHCI device driver architecture, guaranteed real time requirement, priority based packet queueing, interrupt latency time, ISR, Interrupt Service Routine, device driver level support, real time characteristics, high priority applications, digital multimedia services, hard real time instrumentation, control applications, real-time systems, queueing theory, packet switching, interrupts, client-server systems, home networks, device drivers, QoS guarantees, real time requirements, real time middleware |
56 | Jinkyu Jeong, Euiseong Seo, Dongsung Kim, Jinsoo Kim 0001, Joonwon Lee, Yung-Joon Jung, Donghwan Kim, Kanghee Kim |
Transparent and Selective Real-Time Interrupt Services for Performance Improvement. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
Real-time, Throughput, Latency, Scheduling algorithm, Embedded operating systems, Interrupt handling |
55 | 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 |
|
48 | In-Su Yoon, Sang-Hwa Chung, Ben Lee, Hyuk-Chul Kwon |
Implementation and Performance Evaluation of M-VIA on AceNIC Gigabit Ethernet Card. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Xue-Yu Hong, Ling Zhang, Jinlong Hu |
New Scheme of Implementing Real-Time Linux. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
real-time Linux, timer mechanism, interrupt handler |
47 | Heiko Mantel, Henning Sudbrock |
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang |
Automatic Verification of External Interrupt Behaviors for Microprocessor Design. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz |
Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Ken W. Batcher, Robert A. Walker 0001 |
Interrupt Triggered Software Prefetching for Embedded CPU Instruction Cache. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz |
Predictable Interrupt Management for Real Time Kernels over conventional PC Hardware. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Tullio Facchinetti, Giorgio C. Buttazzo, Mauro Marinoni, Giacomo Guidi |
Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems. |
ECRTS |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Baris Guler, Ramesh Radhakrishnan, Ronald Pepper |
Performance Effects of Interrupt Throttle Rate on Linux Clusters using Intel Gigabit Network Adapters. |
CLUSTER |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Ravi S. Prasad, Manish Jain, Constantinos Dovrolis |
Effects of Interrupt Coalescence on Network Measurements. |
PAM |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Branden J. Moore, Thomas Slabach, Lambert Schaelicke |
Profiling Interrupt Handler Performance through Kernel Instrumentation. |
ICCD |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder |
Execution time limitation of interrupt handlers in a Java operating system. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
47 | 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 |
47 | Chris Bailey 0002 |
Achieving Minimal and Deterministic Interrupt Execution in Stack-Based Processor Architectures. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
47 | 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 |
46 | Fabian Scheler, Wanja Hofer, Benjamin Oechslein, Rudi Pfister, Wolfgang Schröder-Preikschat, Daniel Lohmann |
Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system. |
CASES |
2009 |
DBLP DOI BibTeX RDF |
ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling |
46 | Chin-Hsien Wu, Tei-Wei Kuo, Chia-Lin Yang |
Energy-efficient flash-memory storage systems with an interrupt-emulation mechanism. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
interrupt-emulation I/O, programmed I/O, embedded systems, energy-efficient, flash memory, storage systems |
39 | Mario Bravetti, Gianluigi Zavattaro |
On the Expressive Power of Process Interruption and Compensation. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Lambert Schaelicke, Al Davis, Sally A. McKee |
Profiling I/O Interrupts in Modern Architectures. |
MASCOTS |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Urs Hölzle, Craig Chambers, David M. Ungar |
Debugging Optimized Code with Dynamic Deoptimization. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
Self |
38 | Hans-Juergen Boehm |
An almost non-blocking stack. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
interrupt handler, signal handler, stack, memory allocation, lock-free, compare-and-swap, non-blocking, linked list |
38 | Yoav Etsion, Dan Tsafrir, Dror G. Feitelson |
Effects of clock resolution on the scheduling of interactive and soft real-time processes. |
SIGMETRICS |
2003 |
DBLP DOI BibTeX RDF |
clock interrupt rate, scheduling, Linux, tuning, overhead, soft real-time, interactive process |
38 | Uwe Brinkschulte, C. Krakowski, Jochen Kreuzinger, Theo Ungerer |
A Multithreaded Java Microcontroller for Thread-Oriented Real-Time Event Handling. |
IEEE PACT |
1999 |
DBLP DOI BibTeX RDF |
multithreaded microcontroller, interrupt service thread, thread-oriented event-handling, real-time, java processor, proportional share |
38 | Niklaus Wirth |
On multiprogramming, machine coding, and computer organization. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
PL360, file handling, parallelism, interrupt, multiprogramming, computer organization, input-output |
38 | Béatrice Bérard, Serge Haddad |
Interrupt Timed Automata. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems |
38 | Xiaolin Chang, Jogesh K. Muppala, Zhen Han, Jiqiang Liu |
Analysis of Interrupt Coalescing Schemes for Receive-Livelock Problem in Gigabit Ethernet Network Hosts. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz |
Real-Time Scheduling of Interrupt Requests over Conventional PC Hardware. |
ENC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Janusz Borkowski |
Interrupt and Cancellation as Synchronization Methods. |
PPAM |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Manfred Langenbach-Belz |
Vergleich zweier Warteschlagenmodelle für Realzeit-rechnersysteme mit Interrupt- bzw. Takt-Gesteuerter Übernahme von Anforderungen aus der Peripherie. |
GI Jahrestagung |
1973 |
DBLP DOI BibTeX RDF |
|
37 | Tao Cui, Hai Jin 0001, Xiaofei Liao, Haikun Liu |
A Virtual Machine Replay System Based on Para-virtualized Xen. |
NPC |
2009 |
DBLP DOI BibTeX RDF |
Para-virtualized Device Model, Non-masked Interrupt, Advanced Programmable Interrupt Controller, Shared Memory |
37 | Yaozu Dong, Dongxiao Xu, Yang Zhang, Guangdeng Liao |
Optimizing Network I/O Virtualization with Efficient Interrupt Coalescing and Virtual Receive Side Scaling. |
CLUSTER |
2011 |
DBLP DOI BibTeX RDF |
Network I/O virtualization, Interrupt coalescing, Receive side scaling, Multi-core, Xen |
37 | Sébastien Lafond, Johan Lilius |
Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Interrupt, Hardware accelerator |
37 | Christian Siemers, Rainer Falsett, Reinhard Seyer, Klaus H. Ecker |
Supporting the Hard Real-Time Requirements of Mechatronic Systems by 2-Level Interrupt Service Management. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
Mechatronic System, Event-Triggered System, Interrupt-Request Controller, Event Combining, Schedulability, Rate-Monotonic Analysis |
37 | 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 |
37 | Hwa C. Torng, Martin Day |
Interrupt Handling for Out-of-Order Execution Processors. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
out-of-order execution processors, low-level execution concurrency, vexing problem, hardware mechanism, concurrency control, latency, exception handling, exception handling, interrupts, superscalars, performance degradation, performance enhancement, instruction window, multiple instructions, interrupt handling |
37 | Howard L. Morgan |
An interrupt based organization for management information systems. |
Commun. ACM |
1970 |
DBLP DOI BibTeX RDF |
integrated data processing supervisors, interrupt scheduling, supervisory systems, parallel processing, interrupts, management information systems, monitoring systems |
36 | Yifan Zhu, Peinan Li, Lutan Zhao, Dan Meng, Rui Hou 0001 |
ChaosINTC: A Secure Interrupt Management Mechanism against Interrupt-based Attacks on TEE. |
DAC |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Ryo Wada, Nobuyuki Yamasaki |
Fast Interrupt Handling Scheme by Using Interrupt Wake-Up Mechanism. |
CANDAR Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Geoff Collyer |
Setting Interrupt Priorities in Software via Interrupt Queueing. |
Comput. Syst. |
1996 |
DBLP BibTeX RDF |
|
29 | Guoqiang Li 0001, Shoji Yuen, Masakazu Adachi |
Environmental Simulation of Real-Time Systems with Nested Interrupts. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Hideaki Kimura 0003, Mitsuhisa Sato, Takayuki Imada, Yoshihiko Hotta |
Runtime DVFS control with instrumented Code in power-scalable cluster system. |
CLUSTER |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Tony O'Donovan, Jonathan P. Benson, Utz Roedig, Cormac J. Sreenan |
Priority interrupts of Duty Cycled communications in wireless sensor networks. |
LCN |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Anthony D. Wood, John A. Stankovic, Gang Zhou |
DEEJAM: Defeating Energy-Efficient Jamming in IEEE 802.15.4-based Wireless Networks. |
SECON |
2007 |
DBLP DOI BibTeX RDF |
|
29 | 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 |
29 | 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 |
|
29 | Kyong Jo Jung, Seok Gan Jung, Chanik Park |
Stabilizing Execution Time of User Processes by Bottom Half Scheduler in Linux. |
ECRTS |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Khaled Salah 0001, K. El-Badawi |
Evaluating System Performance in Gigabit Networks. |
LCN |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Harold S. Stone, Dominique Thiébaut |
Footprints in the Cache. |
SIGMETRICS |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Subrat Kumar Panda, Arnab Roy 0001, P. P. Chakrabarti 0001, Rajeev Kumar 0004 |
Simulation-based verification using Temporally Attributed Boolean Logic. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification |
28 | Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou |
Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
hardware modifications, software modifications, hardware timers, interrupt controllers, software/device driver, distributed software-defined radio system, hardware measurements, power manager, power management, multiprocessor systems, distributed real-time systems, power constraints, low-power embedded systems |
28 | 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 |
28 | James A. Whittaker, Andres De Vivanco |
Neutralizing windows-based malicious mobile code. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
API hooking, code signing, interrupt table, native code, worm, windows, wrapper, mobile code, virus, sandbox, Microsoft Windows |
28 | Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis |
SPIRIT-μKernel for strongly partitioned real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling |
28 | Christophe Clavier, Jean-Sébastien Coron, Nora Dabbous |
Differential Power Analysis in the Presence of Hardware Countermeasures. |
CHES |
2000 |
DBLP DOI BibTeX RDF |
hardware countermeasure, random process interrupt, smart card, Power analysis |
28 | Xiaodong Wang, Vwani P. Roychowdhury |
Minimizing communication overhead for matrix inversion algorithms on hypercubes. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
matrix inversion algorithms, Gauss-Jordan inversion algorithms, parallel inversion algorithms, MIMD hypercube, parallel algorithms, performance analysis, hypercubes, communication complexity, hypercube networks, minimisation, data partitioning, communication overhead, matrix inversion, interrupt handling, asynchronous message passing |
28 | Heejo Lee, Kenji Toda, Jong Kim 0001, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi |
Performance comparison of real-time architectures using simulation. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
real-time architectures, discrete event-driven, task-based simulator, priority-based communication, simulation, schedulability, performance evaluation, real-time systems, parallel processing, predictability, distributed processing, discrete event simulation, performance prediction, network architectures, processor, distributed real-time systems, performance comparison, scheduling policy, parallel computer systems, dedicated processor, interrupt handling |
28 | John Drummond, Michael Wu |
A low level analysis of the realtime Mach distributed operating system. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques |
28 | Thomas Scholz, Michael Schäfers 0003 |
An improved dynamic register array concept for high-performance RISC processors. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
dynamic register array concept, high-performance RISC processors, processor registers, Multi Windows, Threaded Windows, dynamic register array, dynamic register allocation, general purpose registers, fast context switches, short interrupt latency, exception routines, real time systems, data structures, data structures, interrupts, storage allocation, external memory, registers, reduced instruction set computing |
28 | Sreeram Duvvuru, Siamak Arya |
Evaluation of a branch target address cache. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
branch target address cache evaluation, sequential flow, pipeline bubbles, branch penalty, cycles per instruction, multiple instruction issue processors, branch resolution scheme, target instruction fetch, unpredictable branches, fully predicated processor architecture, fetch stage, branch target caching policies, branch target address cache, register-relative branches, performance evaluation, interrupts, interrupt, program compilers, pipeline processing, cache storage, storage allocation, instructions, program control structures, cache sizes |
28 | 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 |
28 | Narate Taerat, Nichamon Naksinehaboon, Clayton Chandler, James Elliott, Chokchai Leangsuksun, George Ostrouchov, Stephen L. Scott, Christian Engelmann |
Blue Gene/L Log Analysis and Time to Interrupt Estimation. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Mehrdad Reshadi, Daniel Gajski |
Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, Wolfgang Schröder-Preikschat |
Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP. |
ACP4IS |
2007 |
DBLP DOI BibTeX RDF |
CiAO, aspect-aware operating system, aspect-oriented programming (AOP), configurability, AspectC++ |
28 | Silvia N. Schiaffino, Analía Amandi |
The IONWI Algorithm: Learning when and when not to interrupt. |
IFIP AI |
2006 |
DBLP DOI BibTeX RDF |
human-computer interaction, intelligent agents, user profiling |
28 | Colin J. Fidge, Phil Cook |
Model Checking Interrupt-Dependent Software. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jupyung Lee, Kyu Ho Park |
Delayed Locking Technique for Improving Real-Time Performance of Embedded Linux by Prediction of Timer Interrupt. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity Is Not Finitely Based over BPA with Interrupt. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Mark A. Holliday |
System calls and interrupt vectors in an operating systems course. |
SIGCSE |
1997 |
DBLP DOI BibTeX RDF |
|
19 | 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 |
Displaying result #1 - #100 of 744 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|