11484 search results - page 1945 / 2297 » Modeling in the Large and Modeling in the Small |
175
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Object-oriented database OODB users bring with them large quantities of legacy data megabytes and even gigabytes. In addition, scienti c OODB users continually generate new data. ...
205
Voted
CADE
1990
Springer
15 years 11 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
144
click to vote
SWAT
1992
Springer
15 years 11 months ago
1992
Springer
The k-compaction problem arises when k out of n cells in an array are non-empty and the contents of these cells must be moved to the first k locations in the array. Parallel algori...
174
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Parallel prefix adder is the most flexible and widely-used binary adder for ASIC designs. Many high-level synthesis techniques have been developed to find optimal prefix structures...
196
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
The memory subsystem is a major contributor to the performance, power, and area of complex SoCs used in feature rich multimedia products. Hence, memory architecture of the embedded...