Conferences in DBLP
Jun Sun , Wanghong Yuan , Mahesh Kallahalla , Nayeem Islam HAIL: a language for easy and correct device access. [Citation Graph (0, 0)][DBLP ] Conf ] Cong Liu , Alex Kondratyev , Yosinori Watanabe , Alberto L. Sangiovanni-Vincentelli A structural approach to quasi-static schedulability analysis of communicating concurrent programs. [Citation Graph (0, 0)][DBLP ] Conf ] Prabhat Avasare , Vincent Nollet , Jean-Yves Mignolet , Diederik Verkest , Henk Corporaal Centralized end-to-end flow control in a best-effort network-on-chip. [Citation Graph (0, 0)][DBLP ] Conf ] Neal K. Bambha , Shuvra S. Bhattacharyya Communication strategies for shared-bus embedded multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Ethan K. Jackson , Janos Sztipanovits Using separation of concerns for embedded systems design. [Citation Graph (0, 0)][DBLP ] Conf ] Kai Chen 0003 , Janos Sztipanovits , Sandeep Neema Toward a semantic anchoring infrastructure for domain-specific modeling languages. [Citation Graph (0, 0)][DBLP ] Conf ] Bui Minh Duc Uniform object modeling methodology and reuse of real-time system using UML. [Citation Graph (0, 0)][DBLP ] Conf ] Vugranam C. Sreedhar , Maria-Cristina V. Marinescu From statecharts to ESP: programming with events, states and predicates for embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Azevedo , Arun Kejariwal , Alexander V. Veidenbaum , Alexandru Nicolau High performance annotation-aware JVM for Java cards. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Helander Deeply embedded XML communication: towards an interoperable and seamless world. [Citation Graph (0, 0)][DBLP ] Conf ] David F. Bacon , Perry Cheng , David Grove , Michael Hind , V. T. Rajan , Eran Yahav , Matthias Hauswirth , Christoph M. Kirsch , Daniel Spoonhower , Martin T. Vechev High-level real-time programming in Java. [Citation Graph (0, 0)][DBLP ] Conf ] Ernesto Wandeler , Lothar Thiele Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Combaz , Jean-Claude Fernandez , Thierry Lepley , Joseph Sifakis QoS control for optimality and safety. [Citation Graph (0, 0)][DBLP ] Conf ] Jaswinder Ahluwalia , Ingolf H. Krüger , Walter Phillips , Michael Meisinger Model-based run-time monitoring of end-to-end deadlines. [Citation Graph (0, 0)][DBLP ] Conf ] Shan Ding , Naohiko Murakami , Hiroyuki Tomiyama , Hiroaki Takada A GA-based scheduling method for FlexRay systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Hines , Prasad Kulkarni , David B. Whalley , Jack W. Davidson Using de-optimization to re-optimize code. [Citation Graph (0, 0)][DBLP ] Conf ] Yi-Ping You , Chung-Wen Huang , Jenq Kuen Lee A sink-n-hoist framework for leakage power reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Feihui Li , Guilin Chen , Mahmut T. Kandemir , Mustafa Karaköy Exploiting last idle periods of links for network power management. [Citation Graph (0, 0)][DBLP ] Conf ] Elvinia Riccobene , Patrizia Scandurra , Alberto Rosti , Sara Bocchio A UML 2.0 profile for SystemC: toward high-level SoC design. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Xiang Feng Towards real-time enabled Microsoft Windows. [Citation Graph (0, 0)][DBLP ] Conf ] Graham R. Hellestrand Systems architecture: the empirical way: abstract architectures to 'optimal' systems. [Citation Graph (0, 0)][DBLP ] Conf ] Aimen Bouchhima , Xi Chen , Frédéric Pétrot , Wander O. Cesário , Ahmed Amine Jerraya A unified HW/SW interface model to remove discontinuities between HW and SW design. [Citation Graph (0, 0)][DBLP ] Conf ] Grégoire Hamon A denotational semantics for stateflow. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Colaço , Bruno Pagano , Marc Pouzet A conservative extension of synchronous data-flow with state machines. [Citation Graph (0, 0)][DBLP ] Conf ] Alvise Bonivento , Luca P. Carloni , Alberto L. Sangiovanni-Vincentelli Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Baleani , Alberto Ferrari , Leonardo Mangeruca , Alberto L. Sangiovanni-Vincentelli Efficient embedded software design with synchronous models. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Vishwanath Raman , Marco Faella , Rupak Majumdar Code aware resource management. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Yan , Wei Zhang Compiler-guided register reliability improvement against soft errors. [Citation Graph (0, 0)][DBLP ] Conf ] Madhukar Anand , Sebastian Fischmeister , Jesung Kim , Insup Lee Distributed-code generation from hybrid systems models for time-delayed multirate systems. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Rothbart , Ulrich Neffe , Christian Steger , Reinhold Weiss , Edgar Rieger , Andreas Mühlberger Power consumption profile analysis for security attack simulation in smart cards at high abstraction level. [Citation Graph (0, 0)][DBLP ] Conf ] Selim Gurun , Chandra Krintz AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices. [Citation Graph (0, 0)][DBLP ] Conf ] Guilin Chen , Mahmut T. Kandemir Optimizing inter-processor data locality on embedded chip multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Mark L. McKelvin Jr. , Gabriel Eirea , Claudio Pinello , Sri Kanajan , Alberto L. Sangiovanni-Vincentelli A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jian-Jia Chen , Tei-Wei Kuo , Chi-Sheng Shih (1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor. [Citation Graph (0, 0)][DBLP ] Conf ] Ruibin Xu , Daniel Mossé , Rami G. Melhem Minimizing expected energy in real-time embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Benveniste , Benoît Caillaud , Luca P. Carloni , Alberto L. Sangiovanni-Vincentelli Tag machines. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen A. Edwards , Olivier Tardieu SHIM: a deterministic model for heterogeneous embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jie Liu , Elaine Cheong , Feng Zhao Semantics-based optimization across uncoordinated tasks in networked embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Talpin , Dumitru Potop-Butucaru , Julien Ouy , Benoît Caillaud From multi-clocked synchronous processes to latency-insensitive modules. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Pike , Steven D. Johnson The formal verification of a reintegration protocol. [Citation Graph (0, 0)][DBLP ] Conf ] John Regehr Random testing of interrupt-driven software. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Marius Mikucionis , Brian Nielsen , Arne Skou Testing real-time embedded software using UPPAAL-TRON: an industrial case study. [Citation Graph (0, 0)][DBLP ] Conf ] Xiushan Feng , Alan J. Hu Cutpoints for formal equivalence verification of embedded software. [Citation Graph (0, 0)][DBLP ] Conf ] Matthieu Moy , Florence Maraninchi , Laurent Maillet-Contoz Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Zennaro , Raja Sengupta Distributing synchronous programs using bounded queues. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Oberthür , Carsten Böke , Björn Griese Dynamic online reconfiguration for customizable and self-optimizing operating systems. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Cohen , Marc Duranton , Christine Eisenbeis , Claire Pagetti , Florence Plateau , Marc Pouzet Synchronization of periodic clocks. [Citation Graph (0, 0)][DBLP ] Conf ] Lalita Jategaonkar Jagadeesan , Ramesh Viswanathan Passive mid-stream monitoring of real-time properties. [Citation Graph (0, 0)][DBLP ] Conf ] Stavros Tripakis , Christos Sofronis , Norman Scaife , Paul Caspi Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. [Citation Graph (0, 0)][DBLP ] Conf ] Qiuhua Cao , John A. Stankovic Dual face phased array radar scheduling with multiple constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Gabor Madl , Sherif Abdelwahed Model-based analysis of distributed real-time embedded system composition. [Citation Graph (0, 0)][DBLP ] Conf ] 