6800 search results - page 631 / 1360 » Testing with Functions as Specifications |
327
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
182
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Most studies on tilt based interaction can be classified as point-designs that demonstrate the utility of wrist-tilt as an input medium; tilt parameters are tailored to suit the s...
198
Voted
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
190
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
As the number of cores continues to grow in both digital signal and general purpose processors, tools which perform automatic scheduling from model-based designs are of increasing...
199
Voted
IDEAS
2009
IEEE
16 years 2 months ago
2009
IEEE
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...