2432 search results - page 141 / 487 » Using simple abstraction to reinvent computing for paralleli... |
151
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
133
click to vote
PACT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
144
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...
152
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
121
click to vote
INFOVIS
2005
IEEE
15 years 10 months ago
2005
IEEE
The discrete nature of categorical data makes it a particular challenge for visualization. Methods that work very well for continuous data are often hardly usable with categorical...