6800 search results - page 701 / 1360 » Testing with Functions as Specifications |
191
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Given a set of specifications for a targeted application, algorithm selection refers to choosing the most suitable algorithm for a given goal, among several functionally equivalen...
218
click to vote
ICDE
1994
IEEE
15 years 11 months ago
1994
IEEE
We describe the design and implementation of QBISM (Query By Interactive, Spatial Multimedia), a prototype for querying and visualizing 3D spatial data. Our first application is i...
170
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
223
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...
166
click to vote
CONCUR
1990
Springer
15 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...