29172 search results - page 5431 / 5835 » Modeling Systems in CLP |
153
click to vote
CIBCB
2005
IEEE
15 years 8 months ago
2005
IEEE
—Metabolic pathways are crucial to our understanding of biology. The speed at which new organisms are being sequenced is outstripping our ability to experimentally determine thei...
191
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Gossip protocols, also known as epidemic dissemination schemes, are becoming increasingly popular in distributed systems. Yet, it has remained a partially open question to determin...
209
click to vote
CRITICAL
2005
15 years 8 months ago
2005
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...
162
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
193
click to vote
IWCMC
2010
ACM
15 years 8 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...