6598 search results - page 335 / 1320 » Graph Theory with Applications |
184
click to vote
PLDI
2004
ACM
16 years 3 days ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
172
click to vote
GC
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a locality-based dissemination graph algorithm for scalable reliable broadcast. Our algorithm scales in terms of both network and memory usage. Processes only h...
192
click to vote
SIGDOC
2000
ACM
15 years 11 months ago
2000
ACM
We address two problems of technical authors in structured environments: (1) Structure definitions of the SGML school are limiting: they require one primary hierarchy and do not c...
230
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
184
click to vote
ICFCA
2004
Springer
16 years 1 days ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...