1715 search results - page 301 / 343 » Embedded Systems and Real-Time Programming |
125
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
125
click to vote
FTDCS
1999
IEEE
15 years 5 months ago
1999
IEEE
Cooperative Rooms (COR) is an interdisciplinary research and development program of GMD in collaboration with partners. Its objective is to design, develop and investigate future ...
111
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
116
click to vote
SBACPAD
2004
IEEE
15 years 2 months ago
2004
IEEE
Code compression has been used to minimize the memory area requirement of embedded systems. Recently, performance improvement and energy consumption reductionare observed as a by-...
122
click to vote
SPLC
2007
15 years 2 months ago
2007
Software product lines aim to create highly configurable programs from a set of features. Common belief and recent studies suggest that aspects are well-suited for implementing f...