253 search results - page 21 / 51 » How to Transform an Analyzer into a Verifier |
PACT
1997
Springer
13 years 11 months ago
1997
Springer
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
IADIS
2003
13 years 9 months ago
2003
In this paper, we present an approach for producing interoperable metadata by mapping metadata structures of application profiles into standard metadata structures. As a study cas...
IJRR
2006
13 years 7 months ago
2006
Within braided pneumatic Muscle Actuators (pMA) the braid structure is vital to the actuator's performance, preventing over-inflation, converting radial expansion into axial ...
COMCOM
2000
13 years 7 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
HCW
1999
IEEE
13 years 11 months ago
1999
IEEE
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...