4722 search results - page 583 / 945 » Representation-independent program analysis |
149
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
161
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
138
click to vote
ACMIDC
2009
15 years 10 months ago
2009
This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...
134
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
This paper introduces new parsing and context-aware scanning algorithms in which the scanner uses contextual information to disambiguate lexical syntax. The parser uses a slightly...
173
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...