4693 search results - page 287 / 939 » Verifying Hybrid Systems |
176
click to vote
APIN
2005
15 years 6 months ago
2005
A hybrid Neural-Genetic algorithm (NG) is presented for the frequency assignment problem in satellite communications (FAPSC). The goal of this problem is minimizing the cochannel i...
178
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
This paper introduces MICP, a novel multiversion integrated cache replacement and prefetching algorithm designed for efficient cache and transaction management in hybrid data deli...
188
click to vote
ICPADS
2010
IEEE
15 years 4 months ago
2010
IEEE
As the core count in high-performance computing systems keeps increasing, faults are becoming common place. Checkpointing addresses such faults but captures full process images ev...
168
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
173
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents the results of simulation and control experiments using a recently proposed method for real-time switching among a pool of controllers. The switching strategy ...