4586 search results - page 492 / 918 » Computing stable models in parallel |
183
click to vote
SBACPAD
2007
IEEE
16 years 1 months ago
2007
IEEE
One way to exploit Thread Level Parallelism (TLP) is to use architectures that implement novel multithreaded execution models, like Scheduled DataFlow (SDF). This latter model pro...
161
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Previous research indicates that automatic language identification systems based on phonotactic information produce the best results compared with other systems based on acoustic ...
183
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we deal with the problem of scheduling streaming applications on unreliable heterogeneous platforms. We use the realistic one-port model with full computation/commu...
169
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We investigate the problem of converting sets of sensors into strongly connected networks of sensors using multiple directional antennae. Consider a set S of n points in the plane...
179
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...