3951 search results - page 579 / 791 » Automatic amortized analysis |
163
click to vote
LOPSTR
2005
Springer
16 years 2 days ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
184
click to vote
KDD
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
175
click to vote
ASAP
2003
IEEE
15 years 12 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
167
Voted
GRAPHITE
2003
ACM
15 years 12 months ago
2003
ACM
The complexity of most virtual environments prevents them being rendered in real time even on modern graphics hardware. Knowledge of the visual system of the user viewing the envi...
166
click to vote
SOFTVIS
2003
ACM
15 years 12 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...