1206 search results - page 113 / 242 » Arc-Flags in Dynamic Graphs |
96
Voted
FUN
2010
Springer
15 years 5 months ago
2010
Springer
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
107
Voted
HYBRID
2009
Springer
14 years 10 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
107
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...
80
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
128
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...