5376 search results - page 261 / 1076 » Scalable Kernel Systems |
174
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
180
click to vote
SC
1995
ACM
15 years 9 months ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
149
click to vote
INFOSCALE
2007
ACM
15 years 7 months ago
2007
ACM
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
155
click to vote
NETWORK
2006
15 years 6 months ago
2006
: The scalability of large-scale networked virtual environments (NVEs) suchastoday's Massively Multiplayer Online Games (MMOGs) faces inherent limits imposed by the client-ser...
141
click to vote
TKDE
1998
15 years 5 months ago
1998
E cient storage and retrieval of multi-attribute datasets have become one of the essential requirements for many data-intensive applications. The Cartesian product le has been kno...