|
|
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 |
19 | William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter |
Asynchronous Exceptions as an Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 153-176, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Gunar Schirner, Rainer Dömer |
Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 122-127, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Gunar Schirner, Andreas Gerstlauer, Rainer Dömer |
Automatic generation of hardware dependent software for MPSoCs from abstract system specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 271-276, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Benjamin Ness, Gabor Karsai |
High precision automatic scheduling of periodic task sets for microcontrollers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 1-6, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, code generation, microcontrollers, scheduling problem, model driven design |
19 | Bharat Sukhwani, Alessandro Forin, Richard Neil Pittman |
An Extensible I/O Subsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2008, 14-15 April 2008, Stanford, Palo Alto, California, USA, pp. 269-270, 2008, IEEE Computer Society, 978-0-7695-3307-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Masahiko Taguchi, Kentaro Ishii, Michita Imai |
Effectiveness of Simultaneous Behavior by Interactive Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2008, 9th International Conference, Zakopane, Poland, June 22-26, 2008, Proceedings, pp. 896-906, 2008, Springer, 978-3-540-69572-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simultaneous behavior, Human-robot interaction |
19 | Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo |
Certifying low-level programs with hardware interrupts and preemptive threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 170-182, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
certified system software, hardware interrupts, preemptive threads, concurrency, separation logic |
19 | Fu-Ching Yang, Jing-Kun Zhong, Ing-Jer Huang |
Verifying external interrupts of embedded microprocessor in SoC with on-chip bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008, pp. 372-377, 2008, IEEE Computer Society, 978-1-4244-2820-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jim M. Brandt, Bert J. Debusschere, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pébay, David C. Thompson 0001, Matthew Wong |
Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France, pp. 759-764, 2008, IEEE Computer Society, 978-0-7695-3156-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance. probabilistic characterization, cluster monitoring, statistical analysis, resilience, RAS, abnormality detection |
19 | Miao Liu, Zili Shao, Meng Wang 0005, Hongxing Wei, Tianmiao Wang |
Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA, pp. 244-253, 2007, IEEE Computer Society, 0-7695-3062-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Dan Tsafrir |
The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Experimental Computer Science ![In: Proceedings of the Workshop on Experimental Computer Science, Part of ACM FCRC, San Diego, CA, USA, 13-14 June 2007, pp. 4, 2007, ACM, 978-1-59593-751-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
clock interrupts, operating system noise, ticks |
19 | Robert J. Hall 0001 |
Rteq: modeling and validating infinite-state hard-real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 481-484, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time |
19 | Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni |
Control Flow Checking Algorithm using Soft-based Intra-/Inter-block Assigned-Signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS ![In: Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), August 13-15, 2007, The University of Iowa, Iowa City, Iowa, USA, pp. 412-415, 2007, IEEE Computer Society, 0-7695-3039-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Fabrizio Petrini, Jarek Nieplocha, Vinod Tipparaju |
SFT: scalable fault tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(2), pp. 55-62, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Kun Zhang 0006, Santosh Pande |
Minimizing downtime in seamless migrations of mobile applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 12-21, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
seamless migration, mobile computing, compiler |
19 | Jeong Seob Kim, Daesung Lee 0001, Ki-Chang Kim, Jaehyun Park 0003 |
Ensuring Immediate Processing of Real-Time Packets at Kernel Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006, Proceedings, pp. 738-747, 2006, Springer, 3-540-49860-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sayantan Sur, Hyun-Wook Jin, Lei Chai, Dhabaleswar K. Panda 0001 |
RDMA read based rendezvous protocol for MPI over InfiniBand: design alternatives and benefits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 32-39, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MPI, InfiniBand, communication overlap |
19 | Elaine Cheong, Edward A. Lee, Yang Zhao |
Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005, San Diego, California, USA, November 2-4, 2005, pp. 302, 2005, ACM, 1-59593-054-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
TOSSIM, visualsense, simulation, wireless sensor networks, modeling, tinyOS, nesC, ptolemy II |
19 | Piotr D. Adamczyk, Shamsi T. Iqbal, Brian P. Bailey |
A method, system, and tools for intelligent interruption management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design: Proceedings of the Forth International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2005, Gdansk, Poland, September 26-27, 2005, pp. 123-126, 2005, ACM, 1-59593-220-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
attention, task models, forecasting, interruption, pupil size |
19 | Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos A. B. Mello |
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 24-27 October 2005, Rio de Janeiro, Brazil, pp. 184-192, 2005, IEEE Computer Society, 0-7695-2446-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Gioiosa, José Carlos Sancho, Song Jiang 0001, Fabrizio Petrini |
Transparent, Incremental Checkpointing at Kernel Level: a Foundation for Fault Tolerance for Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, November 12-18, 2005, Seattle, WA, USA, CD-Rom, pp. 9, 2005, IEEE Computer Society, 1-59593-061-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Reinhard Seyer, Christian Siemers, Rainer Falsett, Klaus H. Ecker, Harald Richter 0001 |
Robust Partitioning for Reliable Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mechatronic System, Time Supervision, Reliability, Distributed Real-Time Systems, Imprecise Computation |
19 | Youngchul Cho, Ganghee Lee, Sungjoo Yoo, Kiyoung Choi, Nacer-Eddine Zergainoh |
Scheduling and Timing Analysis of HW/SW On-Chip Communication in MP SoC Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 20132-20137, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Steve Brosky, Steve Rotolo |
Shielded Processors: Guaranteeing Sub-millisecond Response in Standard Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 120, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Libor Waszniowski, Zdenek Hanzálek |
Analysis of Real Time Operating System Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers, pp. 219-233, 2003, Springer, 3-540-21671-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Bo Westerlund |
Form is function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Designing Interactive Systems ![In: Proceedings of the 4th Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, DIS 2002, London, England, UK, June 25-28, 2002, pp. 117-124, 2002, ACM, 1-58113-515-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
product semantics, design, web, function, user, semiotic, industrial design, functional analysis, sign |
19 | Leena K. Puthiyedath, Erik Cota-Robles, John Keys, Anil Aggarwal, James P. Held |
The Design and Implementation of the Intel® Real-Time Performance Analyze. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 24-27 September 2002, San Jose, CA, USA, pp. 123-132, 2002, IEEE Computer Society, 0-7695-1739-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Richard J. Lipton, S. Raj Rajagopalan, Dimitrios N. Serpanos |
Spy: A Method to Secure Clients for Network Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 23-28, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
anti-piracy, spy, two-minute warning, inverse security pyramid, software, smart cards, digital rights management, content, protection, intellectual property |
19 | Mohammad Banikazemi, Rama Govindaraju, Robert Blackmore, Dhabaleswar K. Panda 0001 |
MPI-LAPI: An Efficient Implementation of MPI for IBM RS/6000 SP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(10), pp. 1081-1093, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fast messaging layers, clustering, Message Passing Interface (MPI), networks of workstations, Interprocessor communication |
19 | Takuji Kousaka, Mitsushi Matsumoto, Tetsushi Ueta, Hiroshi Kawakami, Minoru Abe |
Bifurcation analysis in hybrid nonlinear dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 281-284, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Salvatore Pontarelli, Gian Carlo Cardarilli, A. Malvoni, Marco Ottavi, Marco Re, Adelio Salsano |
System-on-Chip Oriented Fault-Tolerant Sequential Systems Implementation Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings, pp. 455-460, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
FPSLIC, fault recover, fault tolerance, FPGA, System On Chip, reconfiguration, fault detection |
19 | Greg Law, Julie A. McCann |
Decomposition of preemptive scheduling in the Go! component-based operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, pp. 201-206, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Shinji Sumimoto, Hiroshi Tezuka, Atsushi Hori, Hiroshi Harada, Toshiyuki Takahashi, Yutaka Ishikawa |
High Performance Communication using a Commodity Network for Cluster Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing, HPDC'00, Pittsburgh, Pennsylvania, USA, August 1-4, 2000., pp. 139-146, 2000, IEEE Computer Society, 0-7695-0783-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad Banikazemi, Rama Govindaraju, Robert Blackmore, Dhabaleswar K. Panda 0001 |
Implementing Efficient MPI on LAPI for IBM RS/6000 SP Systems: Experiences and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP ![In: 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 12-16 April 1999, San Juan, Puerto Rico, Proceedings, pp. 183-190, 1999, IEEE Computer Society, 0-7695-0143-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Shankar M. Krishnan, S. Swaminathan |
Application of intelligent multimedia system in an automation-intensive production line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Electronic Systems, 1st International Conference, KES 1997, Adelaide, South Australia, 21-23 May, 1997, Proceedings, Part I, pp. 248-254, 1997, IEEE, 0-7803-3755-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Joe Gwinn |
Some Measurements of Timeline Gaps in VAX/VMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 28(2), pp. 92-96, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
VAX/VMS |
19 | Hemant Kanakia, David R. Cheriton |
The VMP network adapter board (NAB): high-performance network communication for multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures and Protocols, SIGCOMM 1988, Stanford, CA, USA, August 16-18, 1988, pp. 175-187, 1988, ACM, 0-89791-279-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Harvey Abramson, Mark Fox, Michael Gorlick, Vince Manis, John E. L. Peck |
The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 301-309, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Abstract computer, BCPL, Intcode machine, Systems programming languages, Operating systems, Portability, Virtual computer |
19 | Eyal Dim, Tsvi Kuflik |
Social signal processing: detecting small group interaction in leisure activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 309-312, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
interrupt management, social signal processing, ubiquitous computing, group modeling |
19 | François Trahay, Alexandre Denis 0001, Olivier Aumage, Raymond Namyst |
Improving Reactivity and Communication Overlap in MPI Using a Generic I/O Manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings, pp. 170-177, 2007, Springer, 978-3-540-75415-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Scheduler, Interrupt, Thread, High-Speed Network, Polling |
19 | Mayan Moudgill, Stamatis Vassiliadis |
Precise Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 16(1), pp. 58-67, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
interrupt handlers, out-of-order issue processors, instruction level parallel processors, pipelining, exceptions, superscalar processors, traps, precise interrupts |
19 | James E. Smith, Andrew R. Pleszkun |
Implementing Precise Interrupts in Pipelined Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(5), pp. 562-573, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
precise recovery, precise interrupt problem, saved process state, sequential model of program execution, architectural order, parallel pipeline structure, Cray-1S scalar architecture, performance evaluation, parallel architectures, interrupts, pipeline processing, system recovery, pipelined processors, performance degradation |
19 | Thomas J. Chaney |
Comments on "A Note on Synchronizer or Interlock Maloperation". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(10), pp. 802-804, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
flip-flop metastability, interrupt failure, Arbiter, glitch, asynchronous interactions, synchronizer failure |
19 | George R. Couranz, Donald F. Wann |
Theoretical and Experimental Behavior of Synchronizers Operating in the Metastable Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 24(6), pp. 604-616, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
Asynchronous fundamental mode input changes, binary switching time, flip-flop metastable region, interrupt failure, probabilistic behavior of flip-flops, glitch, asynchronous interactions, synchronizer failures |
19 | Butler W. Lampson |
A scheduling philosophy for multiprocessing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(5), pp. 347-360, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
interrupt systems, scheduling, process, protection, priority, multiprocessing, time-sharing, interlocks |
18 | Daniel Lezcano, Georges Da Costa |
O/S Level Interrupt Prediction for Performance and Energy Management on Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 23(3), pp. 2219-2230, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Marques, Manuel Rodriguez, Bruno Sá, Sandro Pinto 0001 |
"Interrupting" the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 9822-9833, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Athanassios Moschos, Fabian Monrose, Angelos D. Keromytis |
Towards Practical Fabrication Stage Attacks Using Interrupt-Resilient Hardware Trojans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10659, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Ekaterina Uetova, Lucy Hederman, Dympna O'Sullivan, Robert Ross, Marily A. Oppezzo |
Chatting for Change: Insights into and Directions for Using Online Peer Support Groups to Interrupt Prolonged Workplace Sitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSTEC (2) ![In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2024, Volume 2, Rome, Italy, February 21-23, 2024., pp. 166-174, 2024, SCITEPRESS, 978-989-758-688-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Thomas F. Müller, Levin Brinkmann, James Winters, Niccoló Pescetelli |
Machine Impostors Can Avoid Human Detection and Interrupt the Formation of Stable Conventions by Imitating Past Interactions: A Minimal Turing Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 47(4), April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Chenglai Xiong, Xuejun Yu, Jialing Yang, Guoqi Xie |
Interrupt Stack Protection for Linux Kernel in Hardware Virtualization Layer of ARM64 Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 32(16), pp. 2350270:1-2350270:17, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Olli Niinivaara |
Robots Who Interrupt Talk in Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.12113, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Diogo Costa, Luca Cuomo, Daniel Oliveira 0003, Ida Maria Savino, Bruno Morelli, José Martins, Alessandro Biasci, Sandro Pinto 0001 |
IRQ Coloring and the Subtle Art of Mitigating Interrupt-generated Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.00997, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Bo Feng 0002, Meng Luo 0002, Changming Liu, Long Lu, Engin Kirda |
AIM: Automatic Interrupt Modeling for Dynamic Firmware Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.01195, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.17869, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Robert Balas, Alessandro Ottaviano, Luca Benini |
CV32RT: Enabling Fast Interrupt and Context Switching for RISC-V Microcontrollers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.08320, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Erik Berglund 0001, Izabella Jedel, Aseel Berglund |
Using MediaPipe Machine Learning to Design Casual Exertion Games to Interrupt Prolonged Sedentary Lifestyle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (36) ![In: HCI in Games - 5th International Conference, HCI-Games 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, pp. 237-251, 2023, Springer, 978-3-031-35929-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li 0003, Guohui Wang, Zhiping Shi 0002, Yong Guan |
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023, pp. 309-318, 2023, IEEE, 979-8-3503-4417-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Dinindu Thilakarathna, Heshan Dissanayake, Buddhi Perera, Roshan G. Ragel, Isuru Dasanayake, Mahanama Wickramasinghe, Isuru Nawinne |
RV32IMF Five-Stage Pipeline Implementation with Interrupt and Random Number Generation Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIS ![In: 17th IEEE International Conference on Industrial and Information Systems, ICIIS 2023, Peradeniya, Sri Lanka, August 25-26, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2362-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Scott Constable, Jo Van Bulck, Xiang Cheng, Yuan Xiao, Cedric Xing, Ilya Alexandrovich, Taesoo Kim, Frank Piessens, Mona Vij, Mark Silberstein |
AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 4051-4068, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Tingting Yu, Chunpeng Jia, Rui Chen, Chao Li, Boxiang Wang, Yunsong Jiang |
Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSREW ![In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 - Workshops, Florence, Italy, October 9-12, 2023, pp. 69-74, 2023, IEEE, 979-8-3503-1956-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 1153-1164, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Prashant Kumar, Abdul Rahiman Beig, Khaled Al Jaafari, Devara Vijaya Bhaskar, Ranjan Kumar Behera, Utkal Ranjan Muduli |
Continuous Fast Terminal Sliding Surface-Based Interrupt Free Operation of PMBLDCM Drive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 49th Annual Conference of the IEEE Industrial Electronics Society, IECON 2023, Singapore, October 16-19, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3182-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Buono, Giuseppe Desolda, Francesco Greco, Antonio Piccinno |
Let warnings interrupt the interaction and explain: designing and evaluating phishing email warnings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023, pp. 197:1-197:6, 2023, ACM, 978-1-4503-9422-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Diogo Costa, Luca Cuomo, Daniel Oliveira 0003, Ida Maria Savino, Bruno Morelli, José Martins, Alessandro Biasci, Sandro Pinto 0001 |
IRQ Coloring and the Subtle Art of Mitigating Interrupt-Generated Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023, Niigata, Japan, August 30 - Sept. 1, 2023, pp. 47-56, 2023, IEEE, 979-8-3503-3786-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1345-1356, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Diogo Costa, Luca Cuomo, Daniel Oliveira 0003, Ida Maria Savino, Bruno Morelli, José Martins, Fabrizio Tronci, Alessandro Biasci, Sandro Pinto 0001 |
IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NG-RES@HiPEAC ![In: Fourth Workshop on Next Generation Real-Time Embedded Systems, NG-RES 2023, January 18, 2023, Toulouse, France., pp. 2:1-2:13, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-268-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Bojie Li, Zihao Xiang, Xiaoliang Wang 0001, Han Ruan, Jingbin Zhou, Kun Tan |
FastWake: Revisiting Host Network Stack for Interrupt-mode RDMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNet ![In: Proceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023, Hong Kong, China, June 29-30, 2023, pp. 1-7, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Takeshi Hyodo, Kaito Sato, Kenji Sawada |
On Interrupt Location Design for Vehicular Platoon via Eigenvalue Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 12th IEEE Global Conference on Consumer Electronics, GCCE 2023, Nara, Japan, October 10-13, 2023, pp. 885-886, 2023, IEEE, 979-8-3503-4018-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad |
Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 175, pp. 106231, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad |
Revisiting reachability in Polynomial Interrupt Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 174, pp. 106208, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Majid Salehi, Gilles De Borger, Danny Hughes 0001, Bruno Crispo |
NemesisGuard: Mitigating interrupt latency side channel attacks with static binary rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 205, pp. 108744, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 48(2), pp. 346-363, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Haoyu Ma, Jianwen Tian, Debin Gao, Chunfu Jia |
On the Effectiveness of Using Graphics Interrupt as a Side Channel for User Behavior Snooping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 19(5), pp. 3257-3270, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Gen Niu, Fuxin Zhang, Xinyu Li |
Eliminate the overhead of interrupt checking in full-system dynamic binary translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTOR ![In: SYSTOR '22: The 15th ACM International Systems and Storage Conference, Haifa, Israel, June 13 - 15, 2022, pp. 1-12, 2022, ACM, 978-1-4503-9380-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang |
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, pp. 801-804, 2022, ACM, 978-1-4503-9379-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, pp. 506-518, 2022, ACM, 978-1-4503-9379-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Runyu Pan, Gabriel Parmer |
SBIs: Application Access to Safe, Baremetal Interrupt Latencies*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 82-94, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sunjun Hwang, Jin Choi, Seohwan Yoo, Hayeon Park, Chang-Gun Lee |
Hardware Interrupt and CPU Contention aware CPU/GPU Co-Scheduling on Multi-Cluster System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICT ![In: 5th International Conference on Information and Computer Technologies, ICICT 2022, New York, NY, USA, March 4-6, 2022, pp. 117-120, 2022, IEEE, 978-1-6654-6960-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Bryan Harris, Nihat Altiparmak |
When poll is more energy efficient than interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotStorage ![In: HotStorage '22: 14th ACM Workshop on Hot Topics in Storage and File Systems, Virtual Event, June 27 - 28, 2022, pp. 59-64, 2022, ACM, 978-1-4503-9399-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Adrien Gausseran, Andrea Tomassilli, Frédéric Giroire, Joanna Moulierac |
Don't interrupt me when you reconfigure my Service Function Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 171, pp. 39-53, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Franz Bender, Jan Jonas Brune, Nick Lauritz Keutel, Ilja Behnke, Lauritz Thamsen |
PIERES: A Playground for Network Interrupt Experiments on Real-Time Embedded Systems in the IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.11623, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Bing Han, Ju Jiang, Chaojun Yu |
Distributed fault-tolerant formation control for multiple unmanned aerial vehicles under actuator fault and intermittent communication interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Control. Eng. ![In: J. Syst. Control. Eng. 235(7), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas |
Polynomial interrupt timed automata: Verification and expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 277, pp. 104580, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Shuping Dang, Basem Shihada, Mohamed-Slim Alouini |
Accelerate Monte Carlo Simulation for Probability Measures by an Interrupt Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 25(9), pp. 2854-2858, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Xiang Du, Liangze Yin, Haining Feng, Wei Dong 0006 |
Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021, pp. 253-263, 2021, IEEE, 978-1-6654-3784-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Gwonhan Mun, Tae Chul Hong, Daeho Kim |
Controller module implementation to reduce interrupt in CNPC uplink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIIC ![In: International Conference on Artificial Intelligence in Information and Communication, ICAIIC 2021, Jeju Island, South Korea, April 13-16, 2021, pp. 295-297, 2021, IEEE, 978-1-7281-7638-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Kun Suo, Yong Shi 0002, Ahyoung Lee, Sabur Baidya |
Characterizing networking performance and interrupt overhead of container overlay networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Conference ![In: ACM SE '21: 2021 ACM Southeast Conference, Virtual Event, USA, April 15-17, 2021, pp. 93-99, 2021, ACM, 978-1-4503-8068-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Leon Reicherts, Nima Zargham, Michael Bonfert, Yvonne Rogers, Rainer Malaka |
May I Interrupt? Diverging Opinions on Proactive Smart Speakers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CUI ![In: CUI 2021 - 3rd Conference on Conversational User Interfaces, Virtual Event / Bilbao, Spain, July 27-29, 2021, pp. 34:1-34:10, 2021, ACM, 978-1-4503-8998-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Farhad Andalibi, Paulo Garcia |
Near-Native Interrupt Latency in Real-Time Guests: Handler Emulation Through Memory Map Morphing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCDE ![In: ICCDE 2021: 7th International Conference on Computing and Data Engineering, Phuket, Thailand, January 15 - 17, 2021, pp. 94-98, 2021, ACM, 978-1-4503-8845-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Liu Yang |
What If I Interrupt You. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: ICMI '21: International Conference on Multimodal Interaction, Montréal, QC, Canada, October 18-22, 2021, pp. 827-831, 2021, ACM, 978-1-4503-8481-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Hans Winderix, Jan Tobias Mühlberg, Frank Piessens |
Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6-10, 2021, pp. 667-682, 2021, IEEE, 978-1-6654-1491-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Franz Bender, Jan Jonas Brune, Nick Lauritz Keutel, Ilja Behnke, Lauritz Thamsen |
PIERES: A Playground for Network Interrupt Experiments on Real-Time Embedded Systems in the IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE (Companion) ![In: ICPE '21: ACM/SPEC International Conference on Performance Engineering, Virtual Event, France, April 19-21, 2021, Companion Volume, pp. 81-84, 2021, ACM, 978-1-4503-8331-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Taro Kiriyama, Yajun Wu, Satoshi Yamane |
Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 10th IEEE Global Conference on Consumer Electronics, GCCE 2021, Kyoto, Japan, October 12-15, 2021, pp. 464-466, 2021, IEEE, 978-1-6654-3676-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Sameh Attia, Vaughn Betz |
Feel Free to Interrupt: Safe Task Stopping to Enable FPGA Checkpointing and Context Switching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 13(1), pp. 3:1-3:27, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ki-Dong Kang, Hyungwon Park, Gyeongseo Park, Daehoon Kim |
Co-Adjusting Voltage/Frequency State and Interrupt Rate for Improving Energy-Efficiency of Latency-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 201028-201039, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Yingjie Wang, Kuanjiu Zhou, Jie Pan, Mingchu Li |
Interrupt nesting method based on time slice in embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Commun. Technol. ![In: Int. J. Inf. Commun. Technol. 17(2), pp. 107-128, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Takuji Miki, Noriyuki Miura, Hiroki Sonoda, Kento Mizuta, Makoto Nagata |
A Random Interrupt Dithering SAR Technique for Secure ADC Against Reference-Charge Side-Channel Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 67-II(1), pp. 14-18, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Brian Delgado, Tejaswini Vibhute, Karen L. Karavanic |
Applying the Principle of Least Privilege to System Management Interrupt Handlers with the Intel SMI Transfer Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASP@MICRO ![In: HASP@MICRO 2020: Hardware and Architectural Support for Security and Privacy, Virtual Event, Greece, 17 October 2020, pp. 4:1-4:9, 2020, ACM, 978-1-4503-8898-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao 0006, Wei Dong 0006 |
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020, pp. 465-471, 2020, IEEE, 978-1-7281-8915-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 744 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|