73 search results - page 10 / 15 » Discovery of complex behaviors through contact-invariant opt... |
OSDI
2006
ACM
15 years 10 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
110
click to vote
BMCBI
2008
14 years 9 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
102
click to vote
WIOPT
2010
IEEE
14 years 8 months ago
2010
IEEE
—Wireless ad hoc networks are seldom characterized by one single performance metric, yet the current literature lacks a flexible framework to assist in characterizing the design...
DIALM
2008
ACM
14 years 11 months ago
2008
ACM
In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node ...