Embedded Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540202233, 9783540452126

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_18 ◽

2003 ◽

pp. 274-289 ◽

Cited By ~ 5

Author(s):

Christos Kloukinas ◽

Chaker Nakhli ◽

Sergio Yovine

Keyword(s):

Real Time ◽

Tool Support ◽

Native Code

Download Full-text

Schedule-Carrying Code

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_16 ◽

2003 ◽

pp. 241-256 ◽

Cited By ~ 7

Author(s):

Thomas A. Henzinger ◽

Christoph M. Kirsch ◽

Slobodan Matic

Download Full-text

Eliminating Stack Overflow by Abstract Interpretation

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_20 ◽

2003 ◽

pp. 306-322 ◽

Cited By ~ 15

Author(s):

John Regehr ◽

Alastair Reid ◽

Kirk Webb

Keyword(s):

Abstract Interpretation ◽

Stack Overflow

Download Full-text

Constraint-Based Design-Space Exploration and Model Synthesis

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_19 ◽

2003 ◽

pp. 290-305 ◽

Cited By ~ 37

Author(s):

Sandeep Neema ◽

Janos Sztipanovits ◽

Gabor Karsai ◽

Ken Butts

Keyword(s):

Design Space Exploration ◽

Design Space ◽

Space Exploration ◽

Model Synthesis

Download Full-text

Resource-Efficient Scheduling for Real Time Systems

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_2 ◽

2003 ◽

pp. 16-19 ◽

Cited By ~ 4

Author(s):

Kim G. Larsen

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Translating Discrete-Time Simulink to Lustre

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_7 ◽

2003 ◽

pp. 84-99 ◽

Cited By ~ 25

Author(s):

Paul Caspi ◽

Adrian Curic ◽

Aude Maignan ◽

Christos Sofronis ◽

Stavros Tripakis

Keyword(s):

Discrete Time

Download Full-text

Resource Interfaces

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_9 ◽

2003 ◽

pp. 117-133 ◽

Cited By ~ 94

Author(s):

Arindam Chakrabarti ◽

Luca de Alfaro ◽

Thomas A. Henzinger ◽

Mariëlle Stoelinga

Download Full-text

HOKES/POKES: Light-Weight Resource Sharing

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_5 ◽

2003 ◽

pp. 51-66 ◽

Cited By ~ 2

Author(s):

Herbert Bos ◽

Bart Samwel

Keyword(s):

Resource Sharing ◽

Light Weight

Download Full-text

Reasoning about Abstract Open Systems with Generalized Module Checking

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_15 ◽

2003 ◽

pp. 223-240 ◽

Cited By ~ 9

Author(s):

Patrice Godefroid

Keyword(s):

Open Systems

Download Full-text

Minimizing Variables’ Lifetime in Loop-Intensive Applications

Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45212-6_8 ◽

2003 ◽

pp. 100-116

Author(s):

Noureddine Chabini ◽

Wayne Wolf

Download Full-text

Embedded Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications

Schedule-Carrying Code

Eliminating Stack Overflow by Abstract Interpretation

Constraint-Based Design-Space Exploration and Model Synthesis

Resource-Efficient Scheduling for Real Time Systems

Translating Discrete-Time Simulink to Lustre

Resource Interfaces

HOKES/POKES: Light-Weight Resource Sharing

Reasoning about Abstract Open Systems with Generalized Module Checking

Minimizing Variables’ Lifetime in Loop-Intensive Applications

Embedded Software - Lecture Notes in Computer Science
Latest Publications