26151 search results - page 124 / 5231 » Parameterized system design |
159
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
Future system design methodologies must accept the fact that the underlying hardware will be imperfect, and enable design of robust systems that are resilient to hardware imperfec...
172
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
152
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...
180
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
185
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper, we describe a system design methodology for the concurrent development of hybrid software/hardware systems for telecom network applications. This methodology is bas...