469 search results - page 47 / 94 » Extended abstract: a race-free hardware modeling language |
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
EDOC
2003
IEEE
15 years 6 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
137
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
149
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
117
click to vote
AIIDE
2008
15 years 3 months ago
2008
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...