1598 search results - page 251 / 320 » A Unified Computation Model for Functional and Logic Program... |
159
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
217
click to vote
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
Soft error reliability has become a first-order design criterion for modern microprocessors. Architectural Vulnerability Factor (AVF) modeling is often used to capture the probab...
134
click to vote
ICCS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
190
click to vote
FMICS
2007
Springer
16 years 10 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
178
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...