2364 search results - page 18 / 473 » An Engine for Computing Well-Founded Models |
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
With developments in Grid computing and Web based data storage the task of orchestrating computations is becoming ever more difficult. Identifying which of the available computati...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
103
click to vote
JCISE
2002
14 years 11 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...