Sciweavers

1772 search results - page 92 / 355
» The Model Coupling Toolkit
Sort
View
ALIFE
2007
14 years 11 months ago
Life Cycle of a Minimal Protocell - A Dissipative Particle Dynamics Study
Cross-reactions and other systematic difficulties generated by the coupling of functional chemical subsystems pose the largest challenge for assembling a viable protocell in the la...
Harold Fellermann, Steen Rasmussen, Hans-Joachim Z...
CAV
2009
Springer
176views Hardware» more  CAV 2009»
15 years 11 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
VLSID
2004
IEEE
138views VLSI» more  VLSID 2004»
15 years 11 months ago
Synthesis-driven Exploration of Pipelined Embedded Processors
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
IEEEICCI
2009
IEEE
15 years 5 months ago
Classifier ensemble based analysis of a genome-wide SNP dataset concerning Late-Onset Alzheimer Disease
The OpenBiomind toolkit is used to apply GA, GP and local search methods to analyze a large SNP dataset concerning late-onset Alzheimers disease (LOAD). Classification models iden...
Lúcio de Souza Coelho, Ben Goertzel, Cassio...
HPDC
2000
IEEE
15 years 3 months ago
Bypass: A Tool for Building Split Execution Systems
Split execution is a common model for providing a friendly environment on a foreign machine. In this model, a remotely executing process sends some or all of its system calls back...
Douglas Thain, Miron Livny