Sciweavers

1433 search results - page 173 / 287
» The Design of Large Real-Time Systems: The Time-Triggered Ap...
Sort
View
VTS
1999
IEEE
106views Hardware» more  VTS 1999»
15 years 3 months ago
RT-level TPG Exploiting High-Level Synthesis Information
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
DATE
2007
IEEE
89views Hardware» more  DATE 2007»
15 years 5 months ago
Computing synchronizer failure probabilities
— System-on-Chip designs often have a large number of timing domains. Communication between these domains requires synchronization, and the failure probabilities of these synchro...
Suwen Yang, Mark R. Greenstreet
BIRTHDAY
2006
Springer
15 years 3 months ago
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
Arnon Avron, Anna Zamansky
ECOOPW
2006
Springer
15 years 3 months ago
Architecture-Centric Evolution: New Issues and Trends
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
Paris Avgeriou, Uwe Zdun, Isabelle Borne
WSC
2008
15 years 1 months ago
Tradeoffs in building a generic supply chain simulation capability
Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that ...
Sanjay Jain