7118 search results - page 158 / 1424 » Electrical and Computer Engineering |
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents...
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
ECOOPW
2006
Springer
15 years 1 months ago
2006
Springer
This article is a report on the 5th international workshop devoted to the Fractal component model that took place the 4th of July 2006 in Nantes, France, as an ECOOP workshop. Prio...
CSUR
2011
14 years 1 months ago
2011
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
Register files are in the critical path of most high-performance processors and their latency is one of the most important factors that limit their size. Our goal is to develop er...