2607 search results - page 261 / 522 » On the Architecture of System Verification Environments |
150
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
A primary goal of high-level modeling is to efficiently explore a broad design space, converging on an optimal or near-optimal system architecture before moving to a more detaile...
160
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
There is an increasing interest in integrating Javabased, and in particular Jini systems, with the emerging Grid infrastructures. In this paper we explore various ways of integrat...
206
click to vote
WOWMOM
2009
ACM
16 years 1 months ago
2009
ACM
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...
156
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
Cluster computing environments built from commodity hardware have provided a cost-effective solution for many scientific and high-performance applications. Likewise, middleware te...
189
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
GRID technology, emerging in the late nineties, has evolved from a metacomputing architecture towards a pervasive computation and information utility. However, the architectural de...