1054 search results - page 34 / 211 » Translation Validation of System Abstractions |
151
click to vote
IJFCS
2011
15 years 28 days ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
186
click to vote
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
177
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
171
click to vote
ICARCV
2008
IEEE
16 years 12 days ago
2008
IEEE
Abstract—This paper is concerned with the problem of estimating the relative translation and orientation between an inertial measurement unit and a camera which are rigidly conne...
153
click to vote
ANLP
2000
15 years 7 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...