Sciweavers

5005 search results - page 162 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
SIGSOFT
2003
ACM
16 years 1 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
PPSN
2004
Springer
15 years 6 months ago
Hierarchical Genetic Algorithms
Current Genetic Algorithms can efficiently address order-k separable problems, in which the order of the linkage is restricted to a low value k. Outside this class, there exist hie...
Edwin D. de Jong, Dirk Thierens, Richard A. Watson
IPPS
2005
IEEE
15 years 6 months ago
Reconfigurable Sequential Consistency Algorithm
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...
Christiane V. Pousa, Luís Fabrício W...
121
Voted
MOBIWAC
2009
ACM
15 years 7 months ago
Protocol design and analysis of a HIP-based per-application mobility management platform
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
László Bokor, László T...
EMSOFT
2004
Springer
15 years 6 months ago
Scheduling within temporal partitions: response-time analysis and server design
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
Luís Almeida, Paulo Pedreiras