Sciweavers

6155 search results - page 52 / 1231
» A language for multiple models of computation
Sort
View
ANSS
2003
IEEE
15 years 3 months ago
Internode: Internal Node Logic Computational Model
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...
Alejandro Millán, Manuel J. Bellido, Jorge ...
IPPS
2000
IEEE
15 years 2 months ago
The MultiCluster Model to the Integrated Use of Multiple Workstation Clusters
One of the new research tendencies within the well-established cluster computing area is the growing interest in the use of multiple workstation clusters as a single virtual parall...
Marcos E. Barreto, Rafael Bohrer Ávila, Phi...
ZUM
2000
Springer
15 years 1 months ago
A Computation Model for Z Based on Concurrent Constraint Resolution
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
Wolfgang Grieskamp
IWFM
1998
14 years 11 months ago
Motivation for a New Semantics for Vagueness
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
Mark Changizi
UM
2007
Springer
15 years 3 months ago
Conceptualizing Student Models for ICALL
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...
Luiz Amaral, Detmar Meurers