Sciweavers

34202 search results - page 69 / 6841
» The Tera computer system
Sort
View
DEXAW
2000
IEEE
149views Database» more  DEXAW 2000»
14 years 1 months ago
A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments
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...
Paulo Marques, Luís Moura Silva, Joã...
TSMC
2008
113views more  TSMC 2008»
13 years 10 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
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...
Xenofon D. Koutsoukos, Derek Riley
ICPADS
1997
IEEE
14 years 2 months ago
Efficient Algorithms for Prefix and General Prefix Computations on Distributed Shared Memory Systems with Applications
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....
V. Kamakoti, N. Balakrishnan
HICSS
1999
IEEE
121views Biometrics» more  HICSS 1999»
14 years 2 months ago
Evaluation of the JIAJIA Software DSM System on High Performance Computer Architectures
Distributed Shared Memory (DSM) combines the scalability of loosely coupled multicomputer systems with the ease of usability of tightly coupled multiprocessors, and allows transpa...
M. Rasit Eskicioglu, T. Anthony Marsland, Weiwu Hu...
AISC
2008
Springer
14 years 2 days ago
Mediated Access to Symbolic Computation Systems
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...
Jónathan Heras, Vico Pascual, Julio Rubio