2604 search results - page 70 / 521 » General constant expressions for system programming language... |
155
Voted
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
141
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
133
Voted
IJAIT
2006
15 years 3 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
133
Voted
HPCN
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
136
Voted
DBPL
1989
Springer
15 years 7 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...