1710 search results - page 219 / 342 » High-Level Programs and Program Conditions |
167
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...
206
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
171
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
With the advent of increasingly larger parallel machines, debugging is becoming more and more challenging. In particular, applications at this scale tend to behave non-determinist...
162
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
169
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...