Sciweavers

510 search results - page 1 / 102
» An Algebraic Framework for Urgency
Sort
View
IANDC
2000
50views more  IANDC 2000»
13 years 10 months ago
An Algebraic Framework for Urgency
Sébastien Bornot, Joseph Sifakis
DAGSTUHL
2008
14 years 9 days ago
Recent Results on the Algebraic Approach to the CSP
Abstract. We describe an algebraic approach to the constraint satisfaction problem (CSP) and present recent results on the CSP that make use of, in an essential way, this algebraic...
Andrei A. Bulatov, Matthew Valeriote
CONCUR
2009
Springer
14 years 2 months ago
Algebra for Infinite Forests with an Application to the Temporal Logic EF
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
Mikolaj Bojanczyk, Tomasz Idziaszek
IMA
2005
Springer
111views Cryptology» more  IMA 2005»
14 years 4 months ago
An Algebraic Framework for Cipher Embeddings
In this paper we discuss the idea of block cipher embeddings and consider a natural algebraic framework for such constructions. In this approach we regard block cipher state spaces...
Carlos Cid, Sean Murphy, Matthew J. B. Robshaw
EDBT
2012
ACM
214views Database» more  EDBT 2012»
12 years 1 months ago
An optimization framework for map-reduce queries
We present an effective optimization framework for general SQLlike map-reduce queries, which is based on a novel query algebra and uses a small number of higher-order physical ope...
Leonidas Fegaras, Chengkai Li, Upa Gupta