6 search results - page 1 / 2 » A Co-Design Methodology Based on Formal Specification and Hi... |
CODES
1996
IEEE
13 years 9 months ago
1996
IEEE
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
CODES
2001
IEEE
13 years 9 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
HPCA
2003
IEEE
14 years 5 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
MAM
2006
13 years 5 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...