2607 search results - page 414 / 522 » Complete Functional Synthesis |
123
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
— We present a hydro-elastic actuator that has a linear spring intentionally placed in series between the hydraulic piston and actuator output. The spring strain is measured to g...
105
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper, we consider the problem of nding llpreserving ordering of a sparse symmetric and positive de nite matrix such that the reordered matrix is suitable for parallel fac...
109
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
MSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Approaching its tenth anniversary, the IEEE Storage System Standards effort is in the process of balloting Media Management System (MMS) standards. These represent the first stand...
136
click to vote
SIGMOD
2000
ACM
15 years 6 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...