3185 search results - page 417 / 637 » Principles for modeling language design |
166
click to vote
DAC
2002
ACM
16 years 7 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 ...
195
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
180
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
173
click to vote
UM
2007
Springer
16 years 20 days ago
2007
Springer
Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of...
168
click to vote
TAICPART
2006
IEEE
16 years 16 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...