10072 search results - page 1840 / 2015 » Composition of Model Programs |
238
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
213
click to vote
IEEEAMS
2003
IEEE
15 years 11 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...
119
click to vote
IPPS
2003
IEEE
15 years 11 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Â...
194
click to vote
ISCC
2003
IEEE
15 years 11 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...
157
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...