1350 search results - page 104 / 270 » Reasoning about Staged Computation |
132
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
159
click to vote
PODC
1999
ACM
15 years 9 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
193
click to vote
CG
2008
Springer
15 years 5 months ago
2008
Springer
As multi-core processor systems become more and more widespread, the demand for efficient parallel algorithms also propagates into the field of computer graphics. This is especial...
120
click to vote
ERSHOV
2009
Springer
16 years 12 hour ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
132
click to vote
SEMWEB
2009
Springer
15 years 12 months ago
2009
Springer
One of the core services provided by OWL reasoners is classification: the discovery of all subclass relationships between class names occurring in an ontology. Discovering these r...