11121 search results - page 337 / 2225 » Computing with Continuous Change |
142
click to vote
ICNSC
2007
IEEE
15 years 11 months ago
2007
IEEE
— A new velocity and position sensor concept for manned and unmanned ground vehicles is proposed. The idea of this system is to temporarily place artificial markers in the enviro...
135
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper examines MPI’s ability to support continuous, dynamic load balancing for unbalanced parallel applications. We use an unbalanced tree search benchmark (UTS) to compare...
137
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
135
click to vote
LMCS
2006
15 years 4 months ago
2006
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
138
click to vote
TCS
2008
15 years 4 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...