6897 search results - page 246 / 1380 » Parallelization of Modular Algorithms |
157
click to vote
ICCMS
2009
15 years 4 months ago
2009
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
309
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
138
click to vote
ISVC
2007
Springer
16 years 12 days ago
2007
Springer
This paper describes a GPU framework for the real-time visualization of natural textured terrains, as well as the steps that are needed to populate them on-the-fly with tens of tho...
181
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
145
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...