3507 search results - page 412 / 702 » Specialized execution environments |
188
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
175
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Simple Temporal Networks (STNs) are frequently used in scheduling applications, as they provide a powerful and general tool for managing temporal constraints. One obstacle to thei...
218
Voted
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Process mining has proven to be a valuable tool for analyzing operational process executions based on event logs. Existing techniques perform well on structured processes, but stil...
160
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
177
click to vote
DLS
2007
15 years 8 months ago
2007
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...