2364 search results - page 402 / 473 » An Engine for Computing Well-Founded Models |
174
click to vote
ISPASS
2009
IEEE
15 years 11 months ago
2009
IEEE
Modern Graphic Processing Units (GPUs) provide sufficiently flexible programming models that understanding their performance can provide insight in designing tomorrow’s manyco...
143
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
169
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
150
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
165
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...