Sciweavers

3383 search results - page 265 / 677
» Distributing the power of OLAP
Sort
View
CONCUR
1995
Springer
15 years 11 months ago
Fibrational Control Structures
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
Claudio Hermida, John Power
CONCUR
1995
Springer
15 years 11 months ago
Characterizing Behavioural Congruences for Petri Nets
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
Mogens Nielsen, Lutz Priese, Vladimiro Sassone
ICPP
1991
IEEE
15 years 11 months ago
B-SYS: A 470-Processor Programmable Systolic Array
This paper presents an architecture for programmable systolic arrays that provides simple and e cient systolic communication. The Brown Systolic Array is a linear implementation o...
Richard Hughey, Daniel P. Lopresti
HOTDEP
2008
94views Hardware» more  HOTDEP 2008»
15 years 9 months ago
Spread-Spectrum Computation
We observe that existing methods for failure-tolerance are inefficient in their use of time, storage and computational resources. We aim to harness the power of idle desktop compu...
Derek Gordon Murray, Steven Hand
SODA
2003
ACM
130views Algorithms» more  SODA 2003»
15 years 8 months ago
Directed scale-free graphs
We introduce a model for directed scale-free graphs that grow with preferential attachment depending in a natural way on the in- and out-degrees. We show that the resulting in- an...
Béla Bollobás, Christian Borgs, Jenn...