7380 search results - page 1081 / 1476 » Engineering Software Intensive Systems |
129
click to vote
CODES
2006
IEEE
15 years 11 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...
147
click to vote
CODES
2006
IEEE
15 years 11 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...
142
click to vote
WSE
2006
IEEE
15 years 10 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
144
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
System-on-chip (SoC) designs have the potential to change the way we organize computation. This potential has gone unrealized. Future SoCs will have multiple heterogeneous process...
154
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...