6293 search results - page 331 / 1259 » Information Flow Testing |
127
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Commercial tools for standard-cell based datapath design are here classed according to design flows, and the advantages of each class are discussed with the results of two test ci...
123
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Increasingly popular reuse-based design paradigms create a pressing need for authorship enforcement techniques that protect the intellectual property rights of designers. We devel...
149
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
121
click to vote
VLSID
2005
IEEE
16 years 5 months ago
2005
IEEE
: The direct result of shrinking devices is not only higher densities but also increased switching activity and thus higher device temperatures. The variation in temperature over t...
132
click to vote
Publication
We present a solution to the mesh tangling problem in surface tracking. Using an explicit triangle mesh to track the location of a surface as it moves in three dimensions has many ...