1565 search results - page 153 / 313 » Interactive modeling of trees by using growth simulation |
155
click to vote
ICPP
1995
IEEE
15 years 9 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...
168
click to vote
CONSTRAINTS
1998
15 years 6 months ago
1998
Most current graph layout technology does not lend itself to interactive applications such as animation or advanced user interfaces. We introduce the constrained graph layout model...
164
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: With current technology, vast amounts of data can be cheaply and efficiently produced in association studies, and to prevent data analysis to become the bottleneck of ...
262
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Due to the rapid growth of real-time applications and the ubiquity of IEEE 802.11 MAC as a layer-2 protocol for wireless local area networks (WLANs), it is of increasing interes...
158
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...