579 search results - page 27 / 116 » Constraint Validation in Model Compilers |
DAC
2002
ACM
14 years 9 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
POPL
1995
ACM
13 years 11 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
Cognitive modeling has evolved into a powerful tool for understanding and predicting user behavior. Higher-level modeling frameworks such as GOMS and its variants facilitate fast ...
SAMOS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
ICCS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...