54 search results - page 9 / 11 » Adding parallelism capabilities to ACL2 |
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
Due to the special characteristics (limited battery power, limited computing capability, low bandwidth, need to collect sensor data from multiple fixed-location source nodes to a...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
- Metabolic studies have shown that there is a metabolic cost associated with carrying load [1]. Several leg exoskeletons have been developed by various groups in an attempt to aug...
SRDS
2003
IEEE
14 years 1 months ago
2003
IEEE
distributed shared-memory (SDSM) provides the abstraction necessary to run shared-memory applications on cost-effective parallel platforms such as clusters of workstations. Howeve...
ICPPW
2002
IEEE
14 years 1 months ago
2002
IEEE
A mobile ad-hoc network (MANET) is a collection of mobile nodes which communicate over radio. These kind of networks are very flexible, thus they do not require any existing infr...
HPDC
1999
IEEE
14 years 25 days ago
1999
IEEE
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...