17018 search results - page 3065 / 3404 » From the How to the What |
195
click to vote
IFL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
205
click to vote
IWQOS
2004
Springer
16 years 3 days ago
2004
Springer
— Traditional SLAs, defined by average delay or packet loss, often camouflage the instantaneous performance perceived by end-users. We define a set of metrics for service avai...
212
click to vote
LCTRTS
2004
Springer
16 years 3 days ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...
180
click to vote
MATES
2004
Springer
16 years 3 days ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
164
click to vote
PATAT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...