167 search results - page 32 / 34 » A Formal Approach to Component Adaptation and Composition |
145
click to vote
TLDI
2010
ACM
15 years 8 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
102
click to vote
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
204
click to vote
CASES
2011
ACM
13 years 11 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
AHS
2006
IEEE
15 years 5 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
111
click to vote
JUCS
2010
14 years 10 months ago
2010
: As multimedia contents are becoming widely used in ubiquitous computing environments among many application fields, e.g., education, entertainment, and live surveillance, the dem...