1768 search results - page 158 / 354 » A Logic for Algebraic Effects |
180
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
195
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
183
click to vote
BTW
2003
Springer
16 years 8 days ago
2003
Springer
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
187
click to vote
ATS
2009
IEEE
16 years 4 days ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
176
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...