3906 search results - page 378 / 782 » From grids to places |
178
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
166
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
192
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
146
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
175
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
Synchronous groupware is the class of applications in which two or more people collaborate in what they perceive to be real time. Most previous efforts to deploy synchronous group...