353 search results - page 55 / 71 » TRICS: A Testing Tool for C |
VLSID
1998
IEEE
13 years 11 months ago
1998
IEEE
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...
BMCBI
2008
13 years 7 months ago
2008
Background: Significance analysis at single gene level may suffer from the limited number of samples and experimental noise that can severely limit the power of the chosen statist...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
The problem of privacy-preserving data mining has been studied extensively in recent years because of the increased amount of personal information which is available to corporation...
POPL
2003
ACM
14 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
MOBISYS
2003
ACM
14 years 7 months ago
2003
ACM
Wireless transmission of a bit can require over 1000 times more energy than a single 32-bit computation. It would therefore seem desirable to perform significant computation to re...