Sciweavers

545 search results - page 15 / 109
» Comparison Between Two Practical Mix Designs
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
14 years 2 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
CDVE
2004
Springer
157views Visualization» more  CDVE 2004»
14 years 2 months ago
Cooperative Design for Artistic Performances
ALTERNE (Alternative Realities in Networked Environments) platform aims at providing a high level of integration between various techniques supporting mixed reality, graphics, inte...
Michal Masa, Jiri Zara, Bohus Ziskal, Pavel Smetan...
SRDS
2006
IEEE
14 years 2 months ago
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols
The paper presents a comparative performance study of the two main classes of randomized binary consensus protocols: a local coin protocol, with an expected high communication com...
Henrique Moniz, Nuno Ferreira Neves, Miguel Correi...
AUSAI
2004
Springer
14 years 2 months ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
ICCAD
2010
IEEE
141views Hardware» more  ICCAD 2010»
13 years 6 months ago
Local clock skew minimization using blockage-aware mixed tree-mesh clock network
Clock network construction is one key problem in high performance VLSI design. Reducing the clock skew variation is one of the most important objectives during clock network synthe...
Linfu Xiao, Zigang Xiao, Zaichen Qian, Yan Jiang, ...