7379 search results - page 1227 / 1476 » How Many Clusters |
177
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
126
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspecification hinders automatic optimizers, since they must ...
122
click to vote
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Many enterprise, campus, and data-center networks have complex layer-2 virtual LANs (“VLANs”) below the IP layer. The interaction between layer-2 and IP topologies in these VL...
137
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
152
click to vote
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...