1768 search results - page 168 / 354 » A Logic for Algebraic Effects |
161
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
222
click to vote
ICCS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
194
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive q...
182
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...
220
Voted
LOGCOM
2007
15 years 7 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...