Conferences in DBLP

International Conference / Workshop on Embedded Systems (EMSOFT) (emsoft)
2003 (conf/emsoft/2003)

1. Alan Burns, Guillem Bernat, Ian Broster
   A Probabilistic Framework for Schedulability Analysis. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:1-15 [Conf]
   
2. Kim Guldstrand Larsen
   Resource-Efficient Scheduling for Real Time Systems. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:16-19 [Conf]
   
3. Joseph P. Loyall
   Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:20-34 [Conf]
   
4. Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
   Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:35-50 [Conf]
   
5. Herbert Bos, Bart Samwel
   HOKES/POKES: Light-Weight Resource Sharing. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:51-66 [Conf]
   
6. Giorgio C. Buttazzo
   Rate Monotonic vs. EDF: Judgment Day. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:67-83 [Conf]
   
7. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
   Translating Discrete-Time Simulink to Lustre. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:84-99 [Conf]
   
8. Noureddine Chabini, Wayne Wolf
   Minimizing Variables' Lifetime in Loop-Intensive Applications. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:100-116 [Conf]
   
9. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
   Resource Interfaces. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:117-133 [Conf]
   
10. Jean-Louis Colaço, Marc Pouzet
    Clocks as First Class Abstract Types. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:134-155 [Conf]
    
11. Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu
    Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:156-172 [Conf]
    
12. Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff
    Space Reductions for Model Checking Quasi-Cyclic Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:173-189 [Conf]
    
13. Janosch Fauster, Raimund Kirner, Peter P. Puschner
    Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:190-205 [Conf]
    
14. Alain Girault, Xavier Nicollin
    Clock-Driven Automatic Distribution of Lustre Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:206-222 [Conf]
    
15. Patrice Godefroid
    Reasoning about Abstract Open Systems with Generalized Module Checking. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:223-240 [Conf]
    
16. Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
    Schedule-Carrying Code. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:241-256 [Conf]
    
17. Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya
    Energy-Efficient Multi-processor Implementation of Embedded Software. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:257-273 [Conf]
    
18. Christos Kloukinas, Chaker Nakhli, Sergio Yovine
    A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:274-289 [Conf]
    
19. Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts
    Constraint-Based Design-Space Exploration and Model Synthesis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:290-305 [Conf]
    
20. John Regehr, Alastair Reid, Kirk Webb
    Eliminating Stack Overflow by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:306-322 [Conf]
    
21. César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
    Event Correlation: Language and Semantics. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:323-339 [Conf]
    
22. Walid Taha, Stephan Ellner, Hongwei Xi
    Generating Heap-Bounded Programs in a Functional Setting. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:340-355 [Conf]
    
23. Weirong Wang, Aloysius K. Mok, Gerhard Fohler
    Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:356-372 [Conf]