1788 search results - page 178 / 358 » Model Theory for Process Algebra |
104
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
131
click to vote
APN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. High-Level net models following the paradigm ānets as tokensā have been studied already in the literature with several interesting applications. In this paper we prop...
131
click to vote
ASPLOS
1992
ACM
15 years 7 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
141
click to vote
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
114
click to vote
ISCI
2008
15 years 3 months ago
2008
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify re...