1784 search results - page 289 / 357 » Formal Models for Embedded System Design |
WAIM
2010
Springer
14 years 8 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
CSIE
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, a digital image watermarking technique based on Discrete Wavelet Transform (DWT) will be proposed. This scheme is designed utilizing principles deriving from the hu...
102
click to vote
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
AIED
2007
Springer
15 years 4 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...