168 search results - page 10 / 34 » Abstract Interpretation for Worst and Average Case Analysis |
106
click to vote
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
118
Voted
DCOSS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Two difficulties in designing data-centric routes [2–5] in wireless sensor networks are the lack of reasonably practical data aggregation models and the high computatio...
108
click to vote
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
104
click to vote
IDEAL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Analysis of data without labels is commonly subject to scrutiny by unsupervised machine learning techniques. Such techniques provide more meaningful representations, usef...
MFCS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...