5232 search results - page 165 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
113
Voted
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
95
Voted
IEEECIT
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
124
Voted
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
139
Voted
ICAI
2003
15 years 3 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
137
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
The integration of renewable energy generation, such as wind power, into the electric grid is difficult because of the source intermittency and the large distance between generatio...