10870 search results - page 1987 / 2174 » Model Checking Programs |
107
Voted
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Heterogeneous distributed environments or grid environments provide large computing resources for the execution of large scientific applications. The effective use of those plat...
104
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
137
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
110
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
—Robot imitation is a useful and promising alternative to robot programming. Robot imitation involves two crucial issues. The first is how a robot can imitate a human whose phys...
106
click to vote
ISCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
The efficient design of multiplierless implementa- The goal is to find the optimal sub-expressions across all N dot tions of constant matrix multipliers is challenged by the huge p...