4747 search results - page 487 / 950 » Shuffle Memory System |
176
click to vote
HVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
129
click to vote
SAMOS
2007
Springer
16 years 1 months ago
2007
Springer
—This paper presents the Weight-Watcher service. This service aims at providing resource consumption measurements and estimations for software executing on resourceconstrained de...
176
click to vote
IJCNN
2006
IEEE
16 years 28 days ago
2006
IEEE
— Handling catastrophic forgetting is an interesting and challenging topic in modeling the memory mechanisms of the human brain using machine learning models. From a more general...
120
click to vote
IPPS
2006
IEEE
16 years 28 days ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
161
click to vote
ASPDAC
2006
ACM
16 years 26 days ago
2006
ACM
— This paper presents an architecture and a synthesis method for programmable numerical function generators (NFGs) for trigonometric, logarithmic, square root, and reciprocal fun...