2251 search results - page 379 / 451 » Specification and Implementation Problems for C |
151
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
142
click to vote
SIAMSC
2008
15 years 3 months ago
2008
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...
111
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a number of optimization techniques to compute prefix sums on linked lists and implement them on multithreaded GPUs using CUDA. Prefix computations on linked structures ...
131
click to vote
MOBISYS
2006
ACM
16 years 3 months ago
2006
ACM
While 802.11-based wireless hotspots are proliferating, users often have little recourse when the network does not work or performs poorly for them. They are left trying to manual...
130
click to vote
CCO
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The first computer implementation of the Dantzig-FulkersonJohnson cutting-plane method for solving the traveling salesman problem, written by Martin, used subtour inequa...