Sciweavers

5263 search results - page 619 / 1053
» Open Constraint Optimization
Sort
View
IPPS
2000
IEEE
15 years 11 months ago
Controlling Distributed Shared Memory Consistency from High Level Programming Languages
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
Yvon Jégou
PLDI
2000
ACM
15 years 11 months ago
Safety checking of machine code
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
Zhichen Xu, Barton P. Miller, Thomas W. Reps
ICRA
1999
IEEE
133views Robotics» more  ICRA 1999»
15 years 11 months ago
An Autonomous Sensor-Based Path-Planner for Planetary Microrovers
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
Sharon L. Laubach, Joel W. Burdick
ICDCSW
2007
IEEE
15 years 11 months ago
Predictive Directional Greedy Routing in Vehicular Ad hoc Networks
VANETs (Vehicle Ad hoc NETworks) are highly mobile wireless ad hoc networks targeted to support vehicular safety and other commercial applications. Conventional routing protocols ...
Jiayu Gong, Cheng-Zhong Xu, James Holle
APPROX
2006
Springer
124views Algorithms» more  APPROX 2006»
15 years 11 months ago
Combinatorial Algorithms for Data Migration to Minimize Average Completion Time
The data migration problem is to compute an efficient plan for moving data stored on devices in a network from one configuration to another. It is modeled by a transfer graph, wher...
Rajiv Gandhi, Julián Mestre