JACIII
2007
13 years 11 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
GG
2008
Springer
14 years 16 days ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
CA
2000
IEEE
14 years 3 months ago
2000
IEEE
A list of representative directional prepositions of the English language is investigated to develop computation models that output some general motion trajectory or goal directio...
PDP
2006
IEEE
14 years 5 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
BIRTHDAY
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...