1022 search results - page 91 / 205 » Relators and Metric Bisimulations |
180
click to vote
TCAD
1998
15 years 6 months ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
176
click to vote
IFM
2007
Springer
16 years 13 days ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
214
click to vote
ECRTS
2007
IEEE
16 years 19 days ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
156
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
3DTV has been widely studied these last years from a technical point of view but the related quality evaluations does not follow this enthusiasm. This article reviews the quality ...
177
click to vote
TPCTC
2009
Springer
16 years 25 days ago
2009
Springer
To address the server industry’s marketing focus on performance, benchmarking organizations have played a pivotal role in developing techniques to determine the maximum achievabl...