3255 search results - page 501 / 651 » Combination of Abstractions in the ASTR |
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
FOSSACS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
LACL
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
LCPC
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
MICCAI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper, we would propose a novel mechanism of surgical manipulator, which assists the surgeon in precise positioning and handling of surgical devices, like biopsy ...