1922 search results - page 54 / 385 » Systems biology, models, and concurrency |
115
click to vote
ICANN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
143
click to vote
PTS
2008
15 years 3 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
115
click to vote
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
117
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
119
click to vote
CMSB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...