29082 search results - page 26 / 5817 » The Time-Triggered Model of Computation |
ANSS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
: The MASC model is a multi-SIMD model that uses control parallelism to coordinate the interaction of data parallel threads. It supports a generalized associative style of parallel...
AB
2008
Springer
14 years 2 months ago
2008
Springer
VISAPP
2010
13 years 5 months ago
2010
