4695 search results - page 291 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
194
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
190
click to vote
AVSS
2006
IEEE
16 years 22 days ago
2006
IEEE
Background modeling for dynamic scenes is an important problem in the context of real time video surveillance systems. Several nonparametric background models have been proposed t...
182
click to vote
IEEEPACT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an energy management policy for reconfigurable clusters running a multi-tier application, exploiting DVS together with multiple sleep states. We develop a the...
159
click to vote
HPCA
2001
IEEE
16 years 7 months ago
2001
IEEE
Clustered ILP processors are characterized by a large number of non-centralized on-chip resources grouped into clusters. Traditional code generation schemes for these processors c...
176
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...