Sciweavers

5777 search results - page 189 / 1156
» The palladio component model
Sort
View
ISOLA
2007
Springer
16 years 1 months ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz
EURODAC
1994
IEEE
116views VHDL» more  EURODAC 1994»
15 years 11 months ago
A performance evaluator for parameterized ASIC architectures
System-levelpartitioning assigns functionalobjects such as tasks or code segments to system-level components such as o-the-shelf processors or application-speci c architectures in...
Jie Gong, Daniel D. Gajski, Alex Nicolau
LOBJET
2008
104views more  LOBJET 2008»
15 years 7 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
163
Voted
SIAMAM
2000
114views more  SIAMAM 2000»
15 years 6 months ago
Stability, Relaxation, and Oscillation of Biodegradation Fronts
We study the stability and oscillation of traveling fronts in a three-component, advection-reaction biodegradation model. The three components are pollutant, nutrient, and bacteria...
Jack X. Xin, James M. Hyman
CVPR
2011
IEEE
14 years 11 months ago
Multiscale Geometric and Spectral Analysis of Plane Arrangements
Modeling data by multiple low-dimensional planes is an important problem in many applications such as computer vision and pattern recognition. In the most general setting where on...
Guangliang Chen, Mauro Maggioni