1559 search results - page 132 / 312 » The Semantics of Future and Its Use in Program Optimizations |
IDEAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...
WADT
2004
Springer
15 years 3 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the b...
AH
2006
Springer
15 years 1 months ago
2006
Springer
Interactive Digital TV (IDTV) opens new learning possibilities where new forms of education are needed. In this paper we explain a new conception of t-learning experiences where TV...
SIGSOFT
1996
ACM
15 years 2 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...