11212 search results - page 426 / 2243 » Semi-persistent Data Structures |
173
click to vote
PADS
1996
ACM
15 years 11 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
200
click to vote
VLDB
1993
ACM
15 years 11 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
195
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
288
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
161
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents animated sweepers, a method for animating the space deformations called sweepers. This technique allows a user to animate the modeling of a shape, and to edit ...