34181 search results - page 478 / 6837 » The Computer System GRAPHOGRAPH |
118
click to vote
HOTOS
1997
IEEE
15 years 8 months ago
1997
IEEE
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
164
click to vote
DEXAW
2000
IEEE
15 years 8 months ago
2000
IEEE
Over the last few years, the importance of mobile computing as been steadily increasing. While it is important to provide support for accessing databases in disconnected computing...
116
click to vote
TSMC
2008
15 years 4 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
111
click to vote
ICPADS
1997
IEEE
15 years 8 months ago
1997
IEEE
The paper presents eficient scalable algorithms for performing Prefix (PC) and General Prefix (GPC) Computations on a Distributed Shared Memory ( D S M ) system with applications....
135
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...