Sciweavers

1005 search results - page 82 / 201
» Agile Methods for Embedded Systems
Sort
View
VLDB
2002
ACM
108views Database» more  VLDB 2002»
13 years 10 months ago
Energy-performance trade-offs for spatial access methods on memory-resident data
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...
Ning An, Sudhanva Gurumurthi, Anand Sivasubramania...
VLDB
2001
ACM
109views Database» more  VLDB 2001»
14 years 3 months ago
Analyzing energy behavior of spatial access methods for memory-resident data
The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight, together with performance considerations. Energy-conscious design is...
Ning An, Anand Sivasubramaniam, Narayanan Vijaykri...
EMSOFT
2001
Springer
14 years 3 months ago
Usage Scenarios for an Automated Model Compiler
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffre...
OMER
2001
14 years 16 days ago
Model-Based Design of ECU Software - A Component Based Approach
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
Ulrich Freund, Alexander Burst
MEMOCODE
2010
IEEE
13 years 9 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...