4454 search results - page 317 / 891 » Designing components for e-services |
152
click to vote
ISCAS
2003
IEEE
16 years 1 days ago
2003
IEEE
Rapid evaluation and design space exploration at the algorithmic level are important issues in the design cycle. In this paper we propose an original area vs delay estimation meth...
190
click to vote
ERLANG
2003
ACM
16 years 20 hour ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
204
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
167
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
149
click to vote
WSCG
2003
15 years 8 months ago
2003
Visualizations are a crucial component in CAD systems, typically displaying design layout or physical behavior. In this paper we introduce in an innovative way visualizations, tha...