Sciweavers

1268 search results - page 94 / 254
» Architectural Description with Integrated Data Consistency M...
Sort
View
AMAST
2008
Springer
15 years 6 months ago
The Verification of the On-Chip COMA Cache Coherence Protocol
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
Thuy Duong Vu, Li Zhang, Chris R. Jesshope
VLDB
2007
ACM
135views Database» more  VLDB 2007»
15 years 10 months ago
DAMIA - A Data Mashup Fabric for Intranet Applications
Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. D...
Mehmet Altinel, Paul Brown, Susan Cline, Rajesh Ka...
WSC
2001
15 years 5 months ago
The economic effects of reusability on distributed simulations
This paper examines whether the ability to reuse a simulation, in whole or in part, results in tangible cost savings on the overall economics of the original simulation. Specific ...
Mary Ewing
IWPSE
2003
IEEE
15 years 9 months ago
CVS Release History Data for Detecting Logical Couplings
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
Harald Gall, Mehdi Jazayeri, Jacek Krajewski
CODES
1999
IEEE
15 years 8 months ago
How standards will enable hardware/software co-design
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
Mark Genoe, Christopher K. Lennard, Joachim Kunkel...