2227 search results - page 168 / 446 » Reversibility and Models for Concurrency |
161
click to vote
WCRE
2009
IEEE
16 years 29 days ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
158
click to vote
ICPR
2008
IEEE
16 years 20 days ago
2008
IEEE
“Ghosts” arise in traditional background subtraction when an object starts to move, causing the exposed background to be labelled as a ghost foreground. With background model ...
163
click to vote
IJCAI
1989
15 years 7 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
134
click to vote
ALIFE
1998
15 years 6 months ago
1998
There have been various attempts to simulate the self-assembly process of lipid aggregates by computers. However, due to the computationally complex nature of the problem, previou...
181
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...