4880 search results - page 864 / 976 » Manuals as Structured Programs |
118
click to vote
USENIX
1993
15 years 5 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
116
Voted
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
Map-reduce framework has received a significant attention and is being used for programming both large-scale clusters and multi-core systems. While the high productivity aspect of ...
124
Voted
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
136
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper an island model is described for the unconstrained Binary Quadratic Problem (BQP), which can be used with up to 2500 binary variables. Our island model uses a master...
111
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...