1559 search results - page 106 / 312 » The Semantics of Future and Its Use in Program Optimizations |
TABLEAUX
2007
Springer
15 years 4 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
High-performance caches statically pull up the bitlines in all cache subarrays to optimize cache access latency. Unfortunately, such an architecture results in a significant wast...
WDAG
2007
Springer
15 years 4 months ago
2007
Springer
We consider the problem of minimizing the number of ADMs in optical networks. All previous theoretical studies of this problem dealt with the off-line case, where all the lightpat...
INFOCOM
1998
IEEE
15 years 2 months ago
1998
IEEE
Mobile nodes of the future will be equiped with multiple network interfaces to take advantage of overlay networks, yet no current mobility systems provide full support for the sim...
ER
2007
Springer
15 years 4 months ago
2007
Springer
This paper explores the opportunities and challenges for Conceptual Modeling in the domain of Virtual Reality (VR). VR applications are becoming more feasible due to better and fa...