9110 search results - page 106 / 1822 » Formally-Based Design Evaluation |
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
187
click to vote
AOSE
2008
Springer
14 years 12 months ago
2008
Springer
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
112
click to vote
AIED
2005
Springer
14 years 12 months ago
2005
Springer
The Rashi inquiry learning environment for human biology was evaluated using a new instrument for assessing gains in scientific inquiry skills. The instrument was designed to be se...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Deep submicron effects drive the complication in designing chips, as well as in package designs and communications between package and board. As a result, the iterative interface d...