4036 search results - page 410 / 808 » Formal Methods |
195
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
144
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...
150
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
This design presents a system optimized for complex matrix multiplications on the XUP Virtex-II board. Utilizing the GEZEL HW/SW co-simulation environment, the resulting system ac...
180
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
148
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...