3828 search results - page 634 / 766 » Proof-Based System Engineering Using a Virtual System Model |
139
Voted
CERA
2002
15 years 2 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
114
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
107
Voted
CCE
2006
15 years 2 months ago
2006
In the past few years, Rapid Thermal Processes (RTP) have gained acceptance as mainstream technology for semi-conductors manufacturing. These processes are characterized by a sing...
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
131
Voted
ATVA
2010
Springer
15 years 19 days ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...