10870 search results - page 2004 / 2174 » Model Checking Programs |
151
click to vote
IEEEAMS
2003
IEEE
15 years 7 months ago
2003
IEEE
Selection of the most suitable nodes on a network to execute a parallel application requires matching the network status to the application requirements. We propose and validate a...
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. IntelĀ...
107
Voted
IRI
2003
IEEE
15 years 7 months ago
2003
IEEE
ā Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
133
click to vote
ISCC
2003
IEEE
15 years 7 months ago
2003
IEEE
Sensor networks have recently gained a lot of attention from the research community. Sensors are significantly resource-constrained devices and last till the depletion of their ba...
115
Voted
IWPC
2003
IEEE
15 years 7 months ago
2003
IEEE
In the last decades several tools and environments deļ¬ned and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...