6800 search results - page 1258 / 1360 » Testing with Functions as Specifications |
SIGCSE
2000
ACM
14 years 11 days ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
SIGMOD
2000
ACM
14 years 11 days ago
2000
ACM
This paper proposes a scheme for scheduling disk requests that takes advantage of the ability of high-level functions to operate directly at individual disk drives. We show that s...
DEXAW
1998
IEEE
14 years 8 days ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
FCCM
1998
IEEE
14 years 8 days ago
1998
IEEE
Over the past year we have been exploring the use of FPGA-based custom computing machines for several sonar beamforming applications, including time-domain beamforming[1], frequen...
IEEEPACT
1998
IEEE
14 years 7 days ago
1998
IEEE
Compile-time scheduling is one approach to extract parallelism which has proved effective when the execution behavior is predictable. Unfortunately, the performance of most priori...