2373 search results - page 183 / 475 » The Design of the Zinc Modelling Language |
202
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
184
click to vote
IVA
2001
Springer
15 years 11 months ago
2001
Springer
The InViWo project aims at providing high-level intuitive tools to describe virtual worlds populated with “intelligent” creatures and avatars. For this purpose, we have define...
160
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
143
click to vote
TACAS
1995
Springer
15 years 10 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
154
click to vote
FLAIRS
2008
15 years 8 months ago
2008
This paper describes a heuristics-based system for automatic measurement of syntactic complexity using the revised Developmental Level (D-Level) Scale (Rosenberg and Abbeduto, 198...