353 search results - page 12 / 71 » TRICS: A Testing Tool for C |
DAC
2002
ACM
14 years 8 months ago
2002
ACM
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
BMCBI
2008
13 years 7 months ago
2008
Background: The use of novel algorithmic techniques is pivotal to many important problems in life science. For example the sequencing of the human genome [1] would not have been p...
WCE
2007
13 years 8 months ago
2007
- The purpose of this research paper is to study the tool wear and surface roughness of AISI 8620 material using coated ceramic tool by turning process. Ceramic cutting tools have ...
ICRA
2007
IEEE
14 years 2 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...
ICFP
2007
ACM
13 years 11 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...