2227 search results - page 182 / 446 » Reversibility and Models for Concurrency |
192
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
Based on the renowned method of Bitton et al. (see [1]) we develop a concise but comprehensive analytical model for the well-known Binary Merge Sort, Bitonic Sort, Nested-Loop Join...
195
click to vote
SCAM
2003
IEEE
16 years 14 days ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...
183
click to vote
DNA
2003
Springer
16 years 13 days ago
2003
Springer
In this paper we report the design and synthesis of DNA molecules (referred to as DNA tiles) with specific binding interactions that guide self-assembly to make one-dimensional as...
206
click to vote
IWPC
2002
IEEE
16 years 3 days ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
201
click to vote
FUN
2010
Springer
16 years 6 hour ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...