Sciweavers

6819 search results - page 133 / 1364
» Process Reuse Architecture
Sort
View
123
Voted
DAC
2010
ACM
15 years 7 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
101
Voted
CSUR
2000
61views more  CSUR 2000»
15 years 3 months ago
Framelets - small and loosely coupled frameworks
Not only the design of complex frameworks is hard, but also the reuse of such artefacts. Furthermore, the internal working of different frameworks is usually not compatible so that...
Wolfgang Pree, Kai Koskimies
138
Voted
CODES
2004
IEEE
15 years 7 months ago
Compiler-directed code restructuring for reducing data TLB energy
Prior work on TLB power optimization considered circuit and architectural techniques. A recent software-based technique for data TLBs has considered the possibility of storing the...
Mahmut T. Kandemir, Ismail Kadayif, Guilin Chen
165
Voted
CSMR
2004
IEEE
15 years 7 months ago
Tool Support for Traceable Product Evolution
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
Patricia Lago, Eila Niemelä, Hans van Vliet