655 search results - page 107 / 131 » Coinduction in Concurrent Timed Systems |
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
169
click to vote
GIS
2008
ACM
16 years 27 days ago
2008
ACM
We introduce a parallel approximation of an Over-determined Laplacian Partial Differential Equation solver (ODETLAP) applied to the compression and restoration of terrain data use...
100
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The discovery of sequential patterns, which extends beyond frequent item-set finding of association rule mining, has become a challenging task due to its complexity. Essentially, ...
ASPLOS
1992
ACM
15 years 3 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
126
click to vote
IWMM
2011
Springer
14 years 2 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...