2584 search results - page 139 / 517 » On the Forward Checking Algorithm |
127
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
143
click to vote
SIGCOMM
2006
ACM
15 years 11 months ago
2006
ACM
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...
106
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a method for controlling the forward speed and the apex height of a one-legged hopping robot over rough terrain, using a single actuator located at the robot hip. Th...
124
Voted
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
A multi-cluster computational environment with mixed-mode (MPI + OpenMP) parallelism for estimation of unknown regional electrical conductivities of the human head, based on realis...
139
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
In ad hoc wireless networks, a successful broadcasting requires that the nodes forwarding the broadcast packet form a connected dominating set to ensure the coverage. An efficien...