2482 search results - page 296 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
103
click to vote
SCOPES
2005
Springer
15 years 8 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
MABS
2004
Springer
15 years 7 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
119
click to vote
HPCN
1998
Springer
15 years 6 months ago
1998
Springer
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
119
click to vote
SIGGRAPH
1994
ACM
15 years 6 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
128
click to vote
DLOG
2006
15 years 3 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...