1433 search results - page 173 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
144
click to vote
VTS
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
146
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
— 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...
167
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
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...
203
click to vote
ECOOPW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
154
click to vote
WSC
2008
15 years 8 months ago
2008
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 ...