2756 search results - page 302 / 552 » Parallel Mesh Generation |
126
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
123
click to vote
PDPTA
2010
15 years 1 months ago
2010
The problem of programmability on modern heterogeneous multicore and future manycore embedded platforms is still not solved satisfactorily: although many existing but incompatible ...
120
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
128
click to vote
DMIN
2006
15 years 4 months ago
2006
The stochastic discrimination (SD) theory considers learning as building models of uniform coverage over data distributions. Despite successful trials of the derived SD method in s...
138
click to vote
TASLP
2008
15 years 3 months ago
2008
Abstract--This paper is concerned with the automatic recognition of dialogue acts (DAs) in multiparty conversational speech. We present a joint generative model for DA recognition ...