120 search results - page 21 / 24 » Generative type abstraction and type-level computation |
135
Voted
DCOSS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose a distributed coalition formation strategy for collaborative sensing tasks in camera sensor networks. The proposed model supports taskdependent node selection ...
146
Voted
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Real-world optimization problems are often subject to uncertainties, which can arise regarding stochastic model parameters, objective functions and decision variables. Th...
148
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
122
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
163
Voted
OPODIS
2004
15 years 4 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...