The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "EMSOFT"( http://dblp.L3S.de/Venues/EMSOFT )

URL (DBLP): http://dblp.uni-trier.de/db/conf/emsoft

Publication years (Num. hits)
2001 (35) 2002 (31) 2003 (24) 2004 (37) 2005 (52) 2006 (36) 2007 (34) 2008 (29) 2009 (34) 2010 (33) 2011 (41) 2012 (28) 2013 (29) 2014 (30) 2015 (28) 2016 (27) 2018 (17)
Publication types (Num. hits)
inproceedings(528) proceedings(17)
Venues (Conferences, Journals, ...)
EMSOFT(545)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 693 occurrences of 422 keywords

Results
Found 545 publication records. Showing 545 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Uraz Odyurt, Hugo Meyer, Simon Polstra, Evangelos Paradas, Ignacio Gonzalez Alonso, Andy D. Pimentel Communication-centric analysis of complex embedded computing systems: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roger D. Chamberlain, Chandler Ahrens, Christopher D. Gill, Scott A. Mitchell Hierarchical control of a catoptric surface: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta 0001, Rupak Majumdar, Dogan Ulus Embedded software for robotics: challenges and future directions: special session. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Capodieci, Roberto Cavicchioli, Marko Bertogna NVIDIA GPU scheduling details in virtualized environments: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bo Wan, Bo Zhang, Xi Li, Kaiqi Zhou, Caixu Zhao, Chao Wang 0003, Xuehai Zhou RTMUSRT: a real-time testbed for empirically comparing real-time multicore schedulers: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nilotpal Chakraborty, Arijit Mondal, Samrat Mondal Towards optimal scheduling of thermal comfortability and smoothening of load profile in energy efficient buildings: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hideki Takase, Tomoya Mori, Kazuyoshi Takagi, Naofumi Takagi Design concept of a lightweight runtime environment for robot software components onto embedded devices: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tanya Srivastava, Pryanshu Arora, Chundong Wang 0001, Sudipta Chattopadhyay 0001 Road context-aware intrusion detection system for autonomous cars: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Václav Struhár, Alessandro Vittorio Papadopoulos, Moris Behnam Fog computing for adaptive human-robot collaboration: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Youngho Choi, Jaeook Kwon, Seokjae Jeong, Hansub Park, Young Ik Eom Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jayaraj Poroor Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wei Jiang 0016, Haibo Hu, Jinyu Zhan, Ke Jiang Design of security-critical distributed real-time applications with fault-tolerant constraint: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Björn B. Brandenburg, Sriram Sankaranarayanan 0001 (eds.) Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018 Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic The first-order logic of signals: keynote. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, Vladimir Makarov Introspection of the Linux-based embedded firmwares: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sibin Mohan, Mikael Asplund, Gedare Bloom, Ahmad-Reza Sadeghi, Ahmad Ibrahim 0002, Negin Salajageh, Paul Griffioen, Bruno Sinopoli The future of IoT security: special session. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jae-Yun Kim, Hyeon-Jae Lee, Soo-Mook Moon Fast snapshot migration using static code instrumentation: work-in-progress. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jia Jie Wang, Partha S. Roop, Alain Girault Energy and timing aware synchronous programming. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas Synthesizing time-triggered schedules for switched networks with faulty links. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns, Michael Bungert Flexible support for time and costs in scenario-aware dataflow. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski Underminer: a framework for automatically identifying non-converging behaviors in black box system models. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen 0027, Lilei Wang Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 Robust controller synthesis of switched systems using counterexample guided framework. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij A refinement theory for timed-dataflow analysis with support for reordering. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xianzhang Chen, Edwin Hsing-Mean Sha, Weiwen Jiang, Qingfeng Zhuge, Junxi Chen, Jiejie Qin, Yuansong Zeng The design of an efficient swap mechanism for hybrid DRAM-NVM systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hyon-Young Choi, Andrew L. King, Insup Lee Making DDS really real-time with openflow. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuya Maruyama, Shinpei Kato, Takuya Azumi Exploring the performance of ROS2. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra Locally optimal reach set over-approximation for nonlinear systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Miriam Garcia Soto An algorithmic approach to global asymptotic stability verification of hybrid systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guy Martin Tchamgoue, Sebastian Fischmeister Lessons learned on assumptions and scalability with time-aware instrumentation. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jinsu Park, Eunbi Cho, Woongki Baek RMC: an integrated runtime system for adaptive many-core computing. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cheng Ji, Chao Wu, Li-Pin Chang, Liang Shi, Chun Jason Xue I/O scheduling with mapping cache awareness for flash based storage systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jiaqi Tan, Hui Jun Tay, Utsav Drolia, Rajeev Gandhi, Priya Narasimhan PCFIRE: towards provable preventative control-flow integrity enforcement for realistic embedded software. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Biao Hu, Kai Huang 0001, Pengcheng Huang, Lothar Thiele, Alois Knoll On-the-fly fast overrun budgeting for mixed-criticality systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Merten Popp, Orlando Moreira, Wim Yedema, Menno Lindwer Automatic HAL generation for embedded multiprocessor systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhenkai Zhang, Xenofon D. Koutsoukos Cache-related preemption delay analysis for multi-level inclusive caches. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hyoseung Kim, Ragunathan Rajkumar Real-time cache management for multi-core virtualization. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura The SMT-based automatic road network generation in vehicle simulation environment. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stanley Bak, Sagar Chaki Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Ricketts 0001, Gregory Malecha, Sorin Lerner Modular deductive verification of sampled-data systems. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Biswajit Mazumder, Jason O. Hallstrom A fast, lightweight, and reliable file system for wireless sensor networks. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Drescher, Vincent Legout, Antonio Barbalace, Binoy Ravindran A flattened hierarchical scheduler for real-time virtualization. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sanjoy Baruah Schedulability analysis of mixed-criticality systems with multiple frequency specifications. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Petru Eles, Rahul Mangharam (eds.) 2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016 Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer Formal verification of ACAS X, an industrial airborne collision avoidance system. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ratan Lal, Pavithra Prabhakar Bounded error flowpipe computation of parameterized linear systems. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antoine Miné, David Delmas Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sanjoy Baruah The federated scheduling of systems of conditional sporadic DAG tasks. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Farley Lai, Daniel Schmidt, Octav Chipara Static memory management for efficient mobile sensing applications. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Baudart, Albert Benveniste, Timothy Bourke Loosely time-triggered architectures: improvements and comparisons. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh Forward invariant cuts to simplify proofs of safety. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Truong X. Nghiem, Rahul Mangharam Scalable scheduling of energy control systems. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adel Dokhanchi, Aditya Zutshi 0001, Rahul T. Sriniva, Sriram Sankaranarayanan 0001, Georgios E. Fainekos Requirements driven falsification with coverage metrics. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter Modeling and simulating cyber-physical systems using CyPhySim. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Biao Hu, Kai Huang 0001, Gang Chen 0023, Long Cheng 0007, Alois Knoll Adaptive runtime shaping for mixed-criticality systems. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Tretter, Jani Boutellier, James Guthrie, Lars Schor, Lothar Thiele Executing dataflow actors as kahn processes. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sejun Kwon, Sang-Hoon Kim, Jin-Soo Kim 0001, Jinkyu Jeong Managing gpu buffers for caching more apps in mobile systems. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Manderscheid, Gereon Weiss, Rudi Knorr Verifying network performance of cyber-physical systems with multiple runtime configurations. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Moreno 0002, M. Anwar Hasan, Sebastian Fischmeister Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew Nelson 0001, Kees Goossens Distributed power management of real-time applications on a GALS multiprocessor SOC. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister A framework for mining hybrid automata from input/output traces. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth Parametrized dataflow scenarios. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alain Girault, Nan Guan (eds.) 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015 Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  BibTeX  RDF
1Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky Automatic verification of linear controller software. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Renato Mancuso 0001, Andrew V. Louis, Marco Caccamo Using traffic phase shifting to improve AFDX link utilization. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott A scalable algebraic method to infer quadratic invariants of switched systems. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Oleg Iegorov, Vincent Leroy 0001, Alexandre Termier, Jean-François Méhaut, Miguel Santana Data mining approach to temporal debugging of embedded streaming applications. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marc Pouzet Building a hybrid systems modeler from synchronous language principles. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lothar Thiele, Pratyush Kumar Can real-time systems be chaotic? Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Goran Frehse Reachability of hybrid systems in space-time. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Schrammel Unbounded-time reachability analysis of hybrid systems by abstract acceleration. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chen Pan, Mimi Xie, Chengmo Yang, Zili Shao, Jingtong Hu Nonvolatile main memory aware garbage collection in high-level language virtual machine. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Milos Panic, Eduardo Quiñones, Pavel G. Zaykov, Carles Hernández, Jaume Abella, Francisco J. Cazorla Parallel many-core avionics systems. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan Contract-based integration of cyber-physical analyses. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Hao Wu 0013 Exponentially timed SADF: Compositional semantics, reductions, and analysis. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kan Zhong, Tianzheng Wang 0001, Xiao Zhu, Linbo Long, Duo Liu, Weichen Liu, Zili Shao, Edwin Hsing-Mean Sha Building high-performance smartphones via non-volatile memory: The swap approach. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan C. Kleinsorge, Peter Marwedel Computing maximum blocking times with explicit path analysis under non-local flow bounds. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar 0004, Greta Cutulenco, Sebastian Fischmeister SiPTA: Signal processing for trace-based anomaly detection. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pascal Raymond A general approach for expressing infeasibility in Implicit Path Enumeration Technique. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan 0001, James Kapinski Multiple shooting, CEGAR-based falsification for hybrid systems. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Nimit Singhania Precise piecewise affine models from input-output data. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Borislav Nikolic, Stefan M. Petters EDF as an arbitration policy for wormhole-switched priority-preemptive NoCs - Myth or fact? Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst Extending typical worst-case analysis using response-time dependencies to bound deadline misses. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele Energy efficient DVFS scheduling for mixed-criticality systems. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tulika Mitra, Jan Reineke (eds.) 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014 Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pratyush Kumar, Lothar Thiele P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guangmo Tong, Cong Liu 0005 Supporting read/write applications in embedded real-time systems via suspension-aware analysis. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Viorel Preoteasa, Stavros Tripakis Refinement calculus of reactive systems. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Husheng Zhou, Cong Liu 0005 Task mapping in heterogeneous embedded systems for fast completion time. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Rupak Majumdar Deductive control synthesis for alternating-time logics. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Ferry, Gregory Bunting, Amin Maghareh, Arun Prakash, Shirley Dyke, Kunal Agrawal, Christopher D. Gill, Chenyang Lu 0001 Real-time system support for hybrid structural simulation. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gregor Goessler, Lacramioara Astefanoaei Blaming in component-based real-time systems. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Björn Döbel, Hermann Härtig Can we put concurrency back into redundant multithreading? Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ahmed Alhammad, Rodolfo Pellizzoni Schedulability analysis of global memory-predictable scheduling. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jian-Jia Chen, Muhammad Shafique 0001 Embedded software reliability for unreliable hardware. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sisu Xi, Meng Xu, Chenyang Lu 0001, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee Real-time multi-core virtual machine scheduling in Xen. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Young Wn Song, Yann-Hang Lee On the existence of probe effect in multi-threaded embedded programs. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Petru Eles, Zebo Peng Automated software testing of memory performance in embedded GPUs. Search on Bibsonomy EMSOFT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 545 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license