9425 search results - page 1452 / 1885 » Some Notes on Models and Modelling |
193
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
There is a multicore platform that is currently concentrating an enormous attention due to its tremendous potential in terms of sustained performance: the NVIDIA Tesla boards. The...
161
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
From a system's perspective as opposed to an individual agent perspective, MAS adaptation is now becoming an important topic, since it can help to obtain expected outcomes ...
169
click to vote
CAV
2009
Springer
16 years 1 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
134
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
203
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
With the relentless scaling of semiconductor technology, the lifetime reliability of embedded multiprocessor platforms has become one of the major concerns for the industry. If th...