Sciweavers

862 search results - page 48 / 173
» A Framework for Testing Peer-to-Peer Systems
Sort
View
GLVLSI
2002
IEEE
108views VLSI» more  GLVLSI 2002»
15 years 11 months ago
Protected IP-core test generation
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
Alessandro Fin, Franco Fummi
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 2 days ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
ATAL
2005
Springer
15 years 11 months ago
A drosophila for computational dialectics
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
Simon Wells, Chris Reed
FDL
2005
IEEE
15 years 11 months ago
Implementation of a SystemC based Environment
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
Richard Hoffer, Frank Baszynski
ICIP
2009
IEEE
16 years 7 months ago
Ppiq: A Probabilistic Framework For Image Quality Assessment
In this paper a framework for Image Quality Assessment (IQA) is introduced based on the properties of Receptive Fields (RFs) which are the primary mechanism for detection of visua...