1892 search results - page 54 / 379 » Warren's Abstract Machine |
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
ROBIO
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— In this paper, the architectural parameters optimization of a three-prismatic-universal-universal (3-PUU) parallel kinematic machine (PKM) with three translational degr...
EUC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Java for embedded devices is today synonym of “embeddable pseudo-Java”. Embedded flavors of Java introduce incompatibilities against the standard edition and break i...
FCCM
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract - In this paper, we hypothesize that reconfigurable computing is not more widely used because of the logistical difficulties caused by the close coupling of applications a...
HAIS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Protein membership prediction is a fundamental task to retrieve information for unknown or unidentified sequences. When support vector machines (SVMs) are associated with...