17541 search results - page 130 / 3509 » Complexity in scalable computing |
137
click to vote
ISCA
2006
IEEE
15 years 3 months ago
2006
IEEE
The assumption of maximum parallelism support for the successful realization of scalable quantum computers has led to homogeneous, "sea-of-qubits" architectures. The res...
121
click to vote
CAV
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
123
click to vote
ICFCA
2009
Springer
15 years 10 months ago
2009
Springer
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
148
click to vote
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
156
click to vote
DNA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Nature is considered one promising area to search for inspiration in designing robotic systems. Some work in swarm robotics has tried to build systems that resemble distr...