29082 search results - page 234 / 5817 » The Time-Triggered Model of Computation |
227
click to vote
FMLDO
2000
Springer
15 years 10 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
166
click to vote
DICTA
2007
15 years 8 months ago
2007
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
129
click to vote
MSCS
2008
15 years 6 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
179
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
220
click to vote
LOGCOM
2010
15 years 1 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...