785 search results - page 40 / 157 » An Algebra of Hierarchical Graphs |
ISMVL
2007
IEEE
14 years 4 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
ISCC
2005
IEEE
14 years 3 months ago
2005
IEEE
The use of SuperPeers has been proposed to improve the performance of both Structured and Unstructured Peer-toPeer (P2P) Networks. In this paper, we study the performance of Yao-G...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The ability to detect weak distributed activation patterns in networks is critical to several applications, such as identifying the onset of anomalous activity or incipient conges...
DATE
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
CHI
1994
ACM
14 years 2 months ago
1994
ACM
This paper introduces multitrees, a new type of structure for representing information. Multitrees are a class of directed acyclic graphs (DAGs) with the unusual property that the...