2596 search results - page 490 / 520 » Classes and clusters in data analysis |
160
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
This paper explores integrating self-tuning updates and sequential consistency to enable transparent replication of large-scale information dissemination services. We focus our at...
155
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
126
click to vote
IEEEPACT
2002
IEEE
15 years 10 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
149
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
164
click to vote
PLDI
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...