29082 search results - page 5292 / 5817 » The Time-Triggered Model of Computation |
211
click to vote
EUROPAR
2004
Springer
16 years 16 days ago
2004
Springer
High scalability in Peer-to-Peer (P2P) systems has been achieved with the emergence of the networks based on Distributed Hash Table (DHT). Most of the DHTs can be regarded as expon...
195
click to vote
FORMATS
2004
Springer
16 years 16 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
191
click to vote
GD
2004
Springer
16 years 16 days ago
2004
Springer
It has been noted that many realistic graphs have a power law degree distribution and exhibit the small world phenomenon. We present drawing methods influenced by recent developm...
196
click to vote
GECCO
2004
Springer
16 years 16 days ago
2004
Springer
Genetic algorithms require relatively large computation time to solve optimization problems, especially in VLSI CAD such as module placement. Therefore, island-based parallel GAs a...
173
click to vote
GECCO
2004
Springer
16 years 16 days ago
2004
Springer
Extending the notion of inheritable genotype in genetic programming (GP) from the common model of DNA into chromatin (DNA and histones), we propose an approach of embedding in GP a...