|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 73 occurrences of 60 keywords
|
|
|
Results
Found 78 publication records. Showing 78 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
131 | John Regehr |
Random testing of interrupt-driven software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 290-298, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
interrupt-driven software, sensor networks, embedded systems, random testing |
108 | Dennis Brylow, Jens Palsberg |
Deadline Analysis of Interrupt-Driven Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(10), pp. 634-655, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multiresolution static analysis, Real time, testing oracles |
108 | Dennis Brylow, Jens Palsberg |
Deadline analysis of interrupt-driven software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 198-207, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multi-resolution static analysis, real time, testing oracles |
98 | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg |
Stack Size Analysis for Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, pp. 109-126, 2003, Springer, 3-540-40325-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
83 | Bill Stoddart, Dominique Cansell, Frank Zeyda |
Modelling and Proof Analysis of Interrupt Driven Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 155-170, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interrupt Driven Scheduler, Formal Methods, Event Calculus |
83 | Jeffrey C. Mogul, K. K. Ramakrishnan |
Eliminating Receive Livelock in an Interrupt-Driven Kemel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 15(3), pp. 217-252, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
interrupt-driven kernel, scheduling, polling, livelock |
61 | Jens Palsberg, Di Ma |
A Typed Interrupt Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 291-310, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
59 | Jupyung Lee, Kyu Ho Park |
Interrupt handler migration and direct interrupt scheduling for rapid scheduling of interrupt-driven tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 9(4), pp. 42:1-42:34, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
51 | Xiaolin Chang, Jogesh K. Muppala, Pengcheng Zou, Xiangkai Li |
A Robust Device Hybrid Scheme to Improve System Performance in Gigabit Ethernet Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings, pp. 444-454, 2007, IEEE Computer Society, 0-7695-3000-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Receive Livelock, interrupt coalescing, polling, Gigabit Ethernet |
41 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings, pp. 314-329, 1993, Springer, 3-540-56802-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
39 | John Regehr, Alastair Reid 0001, Kirk Webb |
Eliminating stack overflow by abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(4), pp. 751-778, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis |
32 | Heiko Mantel, Henning Sudbrock |
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 326-340, 2007, IEEE Computer Society, 0-7695-2819-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Greg Hoover, Forrest Brewer, Timothy Sherwood |
A case study of multi-threading in the embedded space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 357-367, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-threading, embedded architecture |
32 | Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk |
On Interrupt-Transparent Synchronization in an Embedded Object-Oriented Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 270-277, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, synchronization, object orientation, operating systems |
25 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | 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 |
|
22 | Haining Feng |
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1361-1363, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yuxia Sun, Song Guo 0001, Shing-Chi Cheung, Yong Tang 0001 |
Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 6(3), pp. 5376-5386, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Yuxia Sun, Shing-Chi Cheung, Song Guo 0001, Ming Cheng |
Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 6(5), pp. 8945-8957, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
Data Races and Static Analysis for Interrupt-Driven Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 697-723, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Minxue Pan, Shouyu Chen, Yu Pei 0001, Tian Zhang 0001, Xuandong Li |
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pp. 212-222, 2019, IEEE / ACM, 978-1-7281-0869-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Yuxia Sun, Song Guo 0001, Shing-Chi Cheung, Yong Tang 0001 |
Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.05789, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Jian He, Zihao Zhang, Weiguo Yu |
Interrupt-Driven Fall Detection System Realized via a Kalman Filter and kNN Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI ![In: 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018, pp. 579-584, 2018, IEEE, 978-1-5386-9380-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Gang Hou, Kuanjiu Zhou, Tie Qiu 0001, Weiqiang Kong, Mingchu Li |
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 5178-5189, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Chungha Sung, Markus Kusano, Chao Wang 0001 |
Modular Verification of Interrupt-Driven Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.10078, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Yu Wang 0093, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
Automatic detection and validation of race conditions in interrupt-driven embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, pp. 113-124, 2017, ACM, 978-1-4503-5076-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Chungha Sung, Markus Kusano, Chao Wang 0001 |
Modular verification of interrupt-driven software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 206-216, 2017, IEEE Computer Society, 978-1-5386-2684-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong 0006, Ji Wang 0001 |
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 15(4), pp. 70:1-70:26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Leonardo M. Reyneri, Almudena Lindoso, Luis Entrena |
A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 13(4), pp. 502-508, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Georgios Rokos, Gerard J. Gorman, Paul H. J. Kelly |
An Interrupt-Driven Work-Sharing For-Loop Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.04134, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Yu Wang 0093, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li |
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015, pp. 199-202, 2015, ACM, 978-1-4503-3641-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001 |
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 193-200, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu |
A Denotational Model for Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 15-20, 2013, IEEE Computer Society, 978-1-4799-1324-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann |
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013., pp. 49-60, 2013, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 978-3-86009-147-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong 0006, Ji Wang 0001 |
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE (Companion) ![In: Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume, pp. 204-210, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Randolf Rotta, Jana Traue, Thomas Prescher 0001, Jörg Nolte |
Interrupt-Driven Cross-Core Invocation Mechanisms on the Intel SCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARC@RWTH ![In: Many-core Applications Research Community (MARC) Symposium at RWTH Aachen University, November 29th-30th 2012, Aachen, Germany, pp. 1-6, 2012, RWTH Aachen University, 978-3-00-039545-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin |
Investigating Time Properties of Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 131-146, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun |
Dynamic Race Detection Techniques for Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT ![In: Future Generation Information Technology - 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings, pp. 148-153, 2012, Springer, 978-3-642-35584-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Michael D. Wilder, Robert Rinker |
Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland, pp. 430-433, 2011, IEEE Computer Society, 978-1-4577-1048-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm |
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011, pp. 93-104, 2011, ACM, 978-1-4503-0490-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu 0006, Mengfei Yang |
Static Data Race Detection for Interrupt-Driven Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 47-52, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia |
Timing analysis of interrupt-driven programs under context bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 81-90, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
22 | Wei Le, Jing Yang 0003, Mary Lou Soffa, Kamin Whitehouse |
Lazy preemption to enable path-based analysis of interrupt-driven code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESENA@ICSE ![In: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, Waikiki, Honolulu, HI, USA, May 22, 2011, pp. 43-48, 2011, ACM, 978-1-4503-0583-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Nathan Cooprider |
Data-Flow Analysis for Interrupt-Driven Microcontroller Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
22 | Khaled Salah 0001, Khalid Elbadawi |
Throughput and delay analysis of interrupt-driven kernels under Poisson and bursty traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 22(1-2), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
22 | Sachin Bammi |
A generic real time data acquisition pattern language for embedded applications involving interrupt driven I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 12th European Conference on Pattern Languages of Programs (EuroPLoP '2007), Irsee, Germany, July 4-8, 2007., pp. 643-670, 2007, UVK - Universitaetsverlag Konstanz, 978-3-87940-819-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
22 | Khaled Salah 0001, K. El-Badawi |
Throughput-delay analysis of interrupt-driven kernels with DMA enabled and disabled in high-speed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. High Speed Networks ![In: J. High Speed Networks 15(2), pp. 157-172, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
22 | Khaled Salah 0001 |
An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 27-30 June 2005, Murcia, Cartagena, Spain, pp. 983-988, 2005, IEEE Computer Society, 0-7695-2373-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg |
Stack size analysis for interrupt-driven programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 194(2), pp. 144-174, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Khaled Salah 0001, K. El-Badawi |
Performance evaluation of interrupt-driven kernels in gigabit networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Telecommunications Conference, 2003. GLOBECOM '03, San Francisco, CA, USA, 1-5 December 2003, pp. 3953-3957, 2003, IEEE, 0-7803-7974-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Dennis Brylow, Niels Damgaard, Jens Palsberg |
Static Checking of Interrupt-Driven Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada, pp. 47-56, 2001, IEEE Computer Society, 0-7695-1050-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Jeffrey C. Mogul, K. K. Ramakrishnan |
Eliminating Receive Livelock in an Interrupt-driven Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: Proceedings of the USENIX Annual Technical Conference, San Diego, California, USA, January 22-26, 1996, pp. 99-112, 1996, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
22 | Marvin V. Zelkowitz |
Interrupt Driven Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 14(6), pp. 417-418, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
15 | Peng Li, John Regehr |
T-check: bug finding for sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 174-185, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
T-Check, sensor networks, model checking, safety, random walk, liveness, TinyOS, event-driven |
12 | Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr |
Efficient memory safety for TinyOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9, 2007, pp. 205-218, 2007, ACM, 978-1-59593-763-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC |
12 | Nathan Cooprider, John Regehr |
Pluggable abstract domains for analyzing embedded software. ![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. 44-53, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
abstract interpretation, embedded software, TinyOS |
12 | Michael Blocksome, Charles Archer, Todd Inglett, Patrick McCarthy, Michael B. Mundy, Joe Ratterman, A. Sidelnik, Brian E. Smith, George Almási 0001, José G. Castaños, Derek Lieber, José E. Moreira, Sriram Krishnamoorthy, Vinod Tipparaju, Jarek Nieplocha |
Blue Gene system software - Design and implementation of a one-sided communication interface for the IBM eServer Blue Gene® supercomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA, pp. 120, 2006, ACM Press, 0-7695-2700-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ARMCI, IBM Blue Gene, one-sided communication |
12 | Jaydeep Marathe, Frank Mueller 0001 |
Hardware profile-guided automatic page placement for ccNUMA systems. ![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. 90-99, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
page placement, NUMA, profile-guided optimization, hardware performance monitoring |
12 | Martin Schulz 0001, Brian S. White, Sally A. McKee, Hsien-Hsin S. Lee, Jürgen Jeitner |
Owl: next generation system monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4-6, 2005, pp. 116-124, 2005, ACM, 1-59593-019-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
autonomous performance monitoring, performance analysis, reconfiguration |
12 | Mohamed A. Kerasha, Ian R. Greenshields |
Huskysim: a simulation toolkit for application scheduling in computational grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 380-381, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
discrete event simulation, performance prediction, computational grids, adaptive scheduling |
12 | Philip James-Roxby, Gordon J. Brebner, Dennis Bemmann |
Time-Critical Software Deceleration in an FCCM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 12th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2004), 20-23 April 2004, Napa, CA, USA, Proceedings, pp. 3-12, 2004, IEEE Computer Society, 0-7695-2230-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | David Sitsky, Kenichi Hayashi |
An MPI Library which uses Polling, Interrupts and Remote Copying for the Fujitsu AP1000+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 43-49, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Portable programming, Performance evaluation, MPI, Message passing, NAS parallel benchmark |
12 | Colin J. Fidge, Peter Kearney, Mark Utting |
Interactively Verifying a Simple Real-time Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 395-408, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Venkatesh Akella, Ganesh Gopalakrishnan |
Specification and Validation of Control-Intensive IC's in hopCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(6), pp. 405-423, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
12 | William W. McLendon Jr., Richard F. Vidale |
Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 384-388, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
12 | William D. Clinger, Anne Hartheimer, Eric Ost |
Implementation Strategies for Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 124-131, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
12 | Barry L. Kurtz, Joseph J. Pfeiffer Jr. |
A course project to design and implement the kernel of a real-time operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 115-119, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
12 | D. E. Swearingen, Thomas G. Windeknecht |
A small KIM-1 based interactive music system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 18th Annual Southeast Regional Conference, 1980, Tallahassee, Florida, USA, March 24-26, 1980, pp. 171-173, 1980, ACM, 0-89791-014-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
12 | Clemens B. Hergenhan, Mark M. Rochkind |
The multipurpose batch station (MBS) system: software design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 447-451, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #78 of 78 (100 per page; Change: )
|
|