2607 search results - page 397 / 522 » Complete Functional Synthesis |
127
click to vote
ICPP
2007
IEEE
15 years 8 months ago
2007
IEEE
There has recently been increasing interests in using system virtualization to improve the dependability of HPC cluster systems. However, it is not cost-free and may come with som...
68
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— In order to enable robotic surgery without human assistance, a means must be developed to change tools. As part of the larger Trauma Pod Project, we developed the Tool Rack Sub...
143
Voted
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
114
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...
101
click to vote
SRDS
2007
IEEE
15 years 8 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...