168 search results - page 21 / 34 » Towards validated real-time software |
141
click to vote
GEOINFO
2003
15 years 5 months ago
2003
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
121
click to vote
JISBD
2000
15 years 5 months ago
2000
The IEEE Computer Society and the Association for Computing Machinery are working on a joint project to develop a guide to the Software Engineering Body of Knowledge (SWEBOK). Art...
132
click to vote
IH
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
136
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
154
click to vote
HIPC
2009
Springer
15 years 1 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...