4325 search results - page 329 / 865 » Incremental computation with names |
161
Voted
SKG
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents an integrated database benchmark suite, which is named SIMS. SIMS offers generic benchmarks, custom benchmarks, and hybrid benchmarks to users on a unified Web ...
182
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
203
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
131
click to vote
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, we present a practice-based courseware development methodology for establishing a senior undergraduate network course for the computer-engineering departme...
157
click to vote
CODES
2003
IEEE
16 years 3 days ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...