6799 search results - page 1265 / 1360 » The Tao of Modeling Spaces |
107
click to vote
RTSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
134
click to vote
EDBT
2000
ACM
15 years 5 months ago
2000
ACM
In high-dimensional query processing, the optimization of the logical page-size of index structures is an important research issue. Even very simple query processing techniques suc...
HOTOS
1999
IEEE
15 years 5 months ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
114
click to vote
VRML
1998
ACM
15 years 5 months ago
1998
ACM
Peloton is a sports simulator that uses the Virtual Reality Modeling Language (VRML) to create virtual environments for athletic training and competition. In particular, it create...
125
click to vote
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...