17298 search results - page 3106 / 3460 » Abstract computing machines |
173
Voted
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...
144
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
143
Voted
ISER
2000
Springer
15 years 9 months ago
2000
Springer
Abstract: The paper describes the humanoid robot \H6", which was designed to serve as a platform for experimental research on the development of advanced humanoid-type robots....
190
click to vote
LCR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
154
Voted
MA
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...