1226 search results - page 132 / 246 » Proofs, Programs and Abstract Complexity |
120
click to vote
FMCO
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
125
Voted
LADS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
139
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
128
Voted
APVIS
2008
15 years 4 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...
160
Voted
CADE
2001
Springer
16 years 3 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...