Sciweavers

2824 search results - page 302 / 565
» Text Generation from Keywords
Sort
View
POPL
2006
ACM
16 years 4 months ago
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
Reuben Olinsky, Christian Lindig, Norman Ramsey
SAC
2009
ACM
15 years 11 months ago
Lightweight monitoring of sensor software
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
Mustafa Hammad, Jonathan Cook
CLEF
2007
Springer
15 years 10 months ago
Charles University at CLEF 2007 Ad-Hoc Track
In this paper we describe retrieval experiments performed at Charles University in Prague for participation in the CLEF 2007 Ad-Hoc track. We focused on the Czech monolingual task...
Pavel Ceska, Pavel Pecina
ATAL
2005
Springer
15 years 10 months ago
GACS, an evolutionary approach to the spatial coordination of agents
Our approach to the spatial coordination problem relies on parametrized force fields. Through a quantitative comparison on a complex spatial coordination problem treated with a s...
Fabien Flacher, Olivier Sigaud
IPSN
2004
Springer
15 years 9 months ago
Locally constructed algorithms for distributed computations in ad-hoc networks
In this paper we develop algorithms for distributed computation of a broad range of estimation and detection tasks over networks with arbitrary but fixed connectivity. The distri...
Dzulkifli S. Scherber, Haralabos C. Papadopoulos