SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Cuckoo hashing was introduced by Pagh and Rodler in 2001 [12]. A set S of n keys is stored in two tables T1 and T2 each of which has m cells of capacity 1 such that constant access...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...