4079 search results - page 620 / 816 » Differential Testing for Software |
131
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
131
click to vote
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
137
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
124
click to vote
VL
1996
IEEE
15 years 8 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
133
click to vote
COMPGEOM
1996
ACM
15 years 8 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...