9 search results - page 2 / 2 » Type-Based Termination with Sized Products |
IFL
2001
Springer
13 years 10 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
ISQED
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract- This paper presents a detailed empirical study and analytical derivation of voltage wave-form and energy dissipation of global lines driven by CMOS drivers. It is shown t...
ICSE
2000
IEEE-ACM
13 years 10 months ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
An agent-based tool for micro-level simulation of transport chains (TAPAS) is described. It is more powerful than traditional approaches as it is able to capture the interactions ...