1658 search results - page 12 / 332 » Implementing Bit-addressing with Specialization |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this work a novel control method is presented for controlling the forward speed and apex height of a special class of running quadruped robot, with a dimensionless inertia o...
PEPM
2004
ACM
14 years 1 months ago
2004
ACM
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
CISIS
2010
IEEE
14 years 1 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...