4690 search results - page 664 / 938 » An operational semantics for Scheme |
223
Voted
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider the design and performance analysis of adaptive modulation and coding (AMC) applied to regenerative dual-hop transmission systems, where a source node communicates with...
209
click to vote
ACIVS
2006
Springer
15 years 11 months ago
2006
Springer
We address the topic of real-time analysis and recognition of silhouettes. The method that we propose first produces object features obtained by a new type of morphological operato...
215
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
203
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Aggregation refers to a set of functions that provide global information about a distributed system. These functions operate on numeric values distributed over the system and can ...
192
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
The migration from 3rd generation mobile communication networks to 4th generation, purely IP-based networks leads to new chances, but also great risks for the traditional mobile n...