7064 search results - page 163 / 1413 » From States to Histories |
138
click to vote
IJBC
2006
15 years 6 months ago
2006
We study a binary-cell-states eight-cell neighborhood two-dimensional cellular automaton model of a quasi-chemical system with a substrate and a reagent. Reactions are represented...
129
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
The modern Web architecture basically follows the Representational State Transfer (REST) style. This style offers the architectural properties necessary to implement the Internetsc...
190
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
165
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
162
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 26 days ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...