Sciweavers

33356 search results - page 366 / 6672
» Models of Continual Computation
Sort
View
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 4 months ago
Infinite Time Cellular Automata: A Real Computation Model
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
Fabien Givors, Grégory Lafitte, Nicolas Oll...
IMCSIT
2010
15 years 1 months ago
SyMGiza++: A Tool for Parallel Computation of Symmetrized Word Alignment Models
SyMGiza++ -- a tool that computes symmetric word alignment models with the capability to take advantage of multi-processor systems -- is presented. A series of fairly simple modifi...
Marcin Junczys-Dowmunt, Arkadiusz Szal
VIROLOGY
2008
84views more  VIROLOGY 2008»
15 years 6 months ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm
IPPS
2007
IEEE
16 years 1 months ago
A Model-Driven Approach to Job/Task Composition in Cluster Computing
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...
Neeraj Mehta, Yogesh Kanitkar, Konstantin Läu...
PERCOM
2004
ACM
16 years 6 months ago
Models, Protocols, and Architectures for Secure Pervasive Computing: Challenges and Research Directions
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...
Roshan K. Thomas, Ravi S. Sandhu