2205 search results - page 405 / 441 » Mutation Operators for Specifications |
148
click to vote
VVS
2000
IEEE
15 years 6 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, ...
151
Voted
SIGCSE
2000
ACM
15 years 6 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...
118
Voted
SIGMOD
2000
ACM
15 years 6 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...
108
Voted
FCCM
1998
IEEE
15 years 6 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...
131
click to vote
ECOOPW
1998
Springer
15 years 6 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...