16725 search results - page 2657 / 3345 » Engineering Software Correctness |
171
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
177
Voted
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
212
Voted
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...
199
click to vote
EUROMICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
208
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Inspections provide an effective way of acquiring and reusing experience knowledge. Several details, in both the inspection processes and the inspection event itself, can be found...