215 search results - page 24 / 43 » State-Transition Computation Models and Program Correctness ... |
121
click to vote
ENTCS
2006
15 years 1 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
181
Voted
CONCUR
1993
Springer
15 years 6 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
113
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
116
Voted
DBPL
1999
Springer
15 years 6 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
129
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...