6299 search results - page 161 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
169
Voted
SC
1993
ACM
15 years 11 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
156
Voted
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Although many methods of refining initialization have appeared, the sensitivity of K-Means to initial centers is still an obstacle in applications. In this paper, we investigate a...
163
click to vote
ICS
2004
Tsinghua U.
16 years 11 days ago
2004
Tsinghua U.
The use of semi-Lagrangian formulations in numerical weather predication models (NWP) allows for an increase in time step size. Use of this method can increase performance of thes...
180
Voted
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
191
Voted
SOCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...