3742 search results - page 457 / 749 » On the Use of Formal Techniques for Validation |
193
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
139
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
With ultrasound strain imaging, the function of tissue and organs can be identified. The technique uses multiple images, acquired from tissue under different degrees of deformatio...
182
click to vote
MICRO
2007
IEEE
16 years 29 days ago
2007
IEEE
Recently, the microprocessor industry has moved toward chip multiprocessor (CMP) designs as a means of utilizing the increasing transistor counts in the face of physical and micro...
168
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
Ever-increasing integrated circuit (IC) power densities and peak temperatures threaten reliability, performance, and economical cooling. To address these challenges, thermal analy...
206
click to vote
TLDI
2005
ACM
16 years 7 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...