10707 search results - page 243 / 2142 » Designing executable abstractions |
135
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
124
click to vote
TSMC
1998
15 years 3 months ago
1998
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
152
Voted
PROCEDIA
2010
14 years 10 months ago
2010
One of the greatest challenges in computational chemistry is the design of enzymes to catalyze non-natural chemical reactions. We focus on harnessing the distributed parallel comp...
106
Voted
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Control architectures, such as the LAAS architecture [1], CLARATY [12] and HARPIC [9], have been developped to provide autonomy to robots. To achieve a robot’s task, these contr...
125
click to vote
ISCA
2000
IEEE
15 years 8 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...