1799 search results - page 301 / 360 » The Logic of Correctness in Software Engineering |
151
click to vote
CODES
2006
IEEE
16 years 6 days ago
2006
IEEE
In this paper, we propose a simple and efficient mechanism to increase the throughput of an adaptive router in Networkon-Chip (NoC). One of the most serious disadvantages of fully...
148
click to vote
CODES
2006
IEEE
16 years 6 days ago
2006
IEEE
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
178
click to vote
ISM
2005
IEEE
15 years 11 months ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
130
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
161
Voted
WILF
2005
Springer
15 years 11 months ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...