3101 search results - page 170 / 621 » Composing Adaptive Software |
126
Voted
ICN
2005
Springer
15 years 9 months ago
2005
Springer
In the next generation Internet, the network should not only be considered as a communication medium, but also as an endless source of services available to the end-systems. These ...
95
Voted
CIARP
2003
Springer
15 years 9 months ago
2003
Springer
Is proposed a method for the automatic detection of dark fibres in wool tops based on image processing. A software which implements this method was developed, composed by five mo...
113
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
162
Voted
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
111
Voted
FORTE
2007
15 years 5 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...