2947 search results - page 213 / 590 » Analyzing Program Analyses |
160
click to vote
FOCI
2007
IEEE
16 years 24 days ago
2007
IEEE
— We present a new representation for individuals in problems that have cyclic permutations as solutions. To demonstrate its usefulness, we analyze a simple randomized local sear...
178
click to vote
IROS
2007
IEEE
16 years 23 days ago
2007
IEEE
—An omnidirectional mobile robot is able, kinematically, to move in any direction regardless of current pose. To date, nearly all designs and analyses of omnidirectional robots h...
158
click to vote
ESORICS
2007
Springer
16 years 19 days ago
2007
Springer
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
167
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Many important problems in bioinformatics and genetics require analyses that are NP-complete. For example, one of the basic problems facing researchers that analyze pedig...
129
Voted
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper, we introduce a simple analytical modeling approach for computing service unavailability due to long response time, for infinite and finite single-server systems a...