Sciweavers

1922 search results - page 31 / 385
» Systems biology, models, and concurrency
Sort
View
JUCS
2006
109views more  JUCS 2006»
15 years 1 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
BMVC
2002
15 years 4 months ago
Modelling life cycle related and individual shape variation in biological specimens
The main purpose of this research is to develop methods for automatic identification of biological specimens in digital photographs and drawings held in a database. Incorporation ...
Y. A. Hicks, A. David Marshall, Ralph R. Martin, P...
144
Voted
ANSS
2007
IEEE
15 years 8 months ago
Evaluating the Design of Biological Cells Using a Computer Workbench
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
Tessa E. Pronk, Simon Polstra, Andy D. Pimentel, T...
FCSC
2010
170views more  FCSC 2010»
14 years 11 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
AB
2007
Springer
15 years 8 months ago
Algebraic Systems Biology: Theses and Hypotheses
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
Bud Mishra