1195 search results - page 93 / 239 » Modeling an Algebraic Stepper |
187
click to vote
FM
2003
Springer
16 years 22 hour ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
189
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
144
click to vote
FMOODS
2008
15 years 8 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
123
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
169
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...