1728 search results - page 173 / 346 » Formal Modeling of Process Migration |
110
click to vote
EWC
2000
15 years 2 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
112
click to vote
CAD
1998
Springer
15 years 2 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
121
click to vote
DSD
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
144
click to vote
SAB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
122
click to vote
AIME
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...