59 search results - page 3 / 12 » Maintaining consistency between systemC and RTL system desig... |
PODC
1999
ACM
13 years 11 months ago
1999
ACM
In this paper, we describe an e cient software-only Distributed Shared Memory (DSM) consistency protocol for an unconventional but important application domain - object transactio...
RTSS
2006
IEEE
14 years 1 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
ICSM
2002
IEEE
14 years 11 days ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...
ASPDAC
2004
ACM
14 years 27 days ago
2004
ACM
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
EDO
2000
Springer
13 years 11 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...