1445 search results - page 267 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
164
Voted
SAINT
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we describe the Jack-in-the-Net (Ja-Net) architecture for adaptive services in a large scale, open network environment. Using biologically inspired concepts, Ja-Net...
113
Voted
ICPP
1990
IEEE
15 years 6 months ago
1990
IEEE
As multiprocessors are scaled beyond single bus systems, there is renewed interest in directory-based cache coherence schemes. These schemes rely on a directory to keep track of a...
120
click to vote
ISCA
2009
IEEE
15 years 9 months ago
2009
IEEE
As transistor density continues to grow at an exponential rate in accordance to Moore’s law, the goal for many Chip Multi-Processor (CMP) systems is to scale the number of on-ch...
160
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
119
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...