3335 search results - page 520 / 667 » Grid result checking |
157
click to vote
ISPD
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents SafeChoice (SC), a novel clustering algorithm for wirelength-driven placement. Unlike all previous approaches, SC is proposed based on a fundamental theorem, s...
156
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
148
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
136
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
166
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...