353 search results - page 53 / 71 » TRICS: A Testing Tool for C |
CL
2004
Springer
13 years 7 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
MEDINFO
2007
13 years 9 months ago
2007
Abstraction and Data Mining with Visualization of Laboratory Data Katsuhiko Takabayashi a , Tu Bao Ho b , Hideto Yokoi c , Trong Dung Nguyen b , Saori Kawasaki b , Si Quang Le b , ...
FMCAD
1998
Springer
13 years 11 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
ENTCS
2008
13 years 7 months ago
2008
This paper reports on the design of a test chip built to test a) a new latency insensitive network fabric protocol and circuits, b) a new synchronizer design, and c) how efficient...
WSCG
2001
13 years 9 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...