2205 search results - page 405 / 441 » Mutation Operators for Specifications |
VVS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes architecture and implementation of the ULTRAVIS system, a pure software solution for versatile and fast volume rendering. It provides perspective raycasting, ...
SIGCSE
2000
ACM
14 years 1 months 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 1 months 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...
FCCM
1998
IEEE
14 years 1 months 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...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...