2523 search results - page 188 / 505 » Correct Development of Embedded Systems |
138
click to vote
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
149
click to vote
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...
137
click to vote
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
116
click to vote
COLING
2010
14 years 10 months ago
2010
Unrehearsed spoken language often contains disfluencies. In order to correctly interpret a spoken utterance, any such disfluencies must be identified and removed or otherwise deal...
137
click to vote
LCTRTS
2000
Springer
15 years 6 months ago
2000
Springer
Low energy consumption is becoming the primary design consideration for battery-operated and portable embedded systems, such as personal digital assistants, digital still and movi...