1922 search results - page 41 / 385 » Systems biology, models, and concurrency |
112
click to vote
MASCOTS
2010
15 years 8 days ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
152
Voted
ACSD
1998
IEEE
15 years 6 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
128
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
86
Voted
LFCS
1997
Springer
15 years 6 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
111
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
It has been demonstrated by Serre et al. that the biologically inspired model (BIM) is effective for object recognition. It outperforms many state-of-the-art methods in challengin...