Sciweavers

4353 search results - page 3 / 871
» Computational Challenges of Systems Biology
Sort
View
ESAW
2008
Springer
14 years 11 months ago
Engineering Self-modeling Systems: Application to Biology
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...
Carole Bernon, Davy Capera, Jean-Pierre Mano
79
Voted
CAV
2005
Springer
101views Hardware» more  CAV 2005»
15 years 3 months ago
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 1 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
SMC
2007
IEEE
154views Control Systems» more  SMC 2007»
15 years 3 months ago
From biology to evolve-able pervasive ICT systems
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...
Iacopo Carreras, Daniele Miorandi, Imrich Chlamtac
80
Voted
CORR
2010
Springer
105views Education» more  CORR 2010»
14 years 7 months ago
On Designing Multicore-aware Simulators for Biological Systems
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, M...