10870 search results - page 2004 / 2174 » Model Checking Programs |
157
Voted
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...
83
Voted
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Ā...
111
click to vote
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...
139
Voted
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...
123
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...