Sciweavers

3281 search results - page 70 / 657
» An Approach to use Executable Models for Testing
Sort
View
EVOW
2009
Springer
13 years 6 months ago
Evolutionary Approaches for Strain Optimization Using Dynamic Models under a Metabolic Engineering Perspective
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
Pedro Evangelista, Isabel Rocha, Eugénio C....
ICMLA
2008
13 years 10 months ago
Estimation of Exercise Energy Expenditure Using a Wrist-Worn Accelerometer: A Linear Mixed Model Approach with Fixed-Effect Vari
This article presents an approach to estimating exercise energy expenditure based on acceleration measurements from a wrist-worn biaxial sensor. The method uses the linear mixed m...
Eija Haapalainen, Perttu Laurinen, Juha Rönin...
PADS
2005
ACM
14 years 2 months ago
Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation
Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multi-scale nature. In contrast to traditional time-stepped exe...
Yarong Tang, Kalyan S. Perumalla, Richard M. Fujim...
ATS
2009
IEEE
127views Hardware» more  ATS 2009»
14 years 2 months ago
On the Generation of Functional Test Programs for the Cache Replacement Logic
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
Wilson J. Perez, Danilo Ravotto, Edgar E. Sá...
ICPP
1999
IEEE
14 years 1 months ago
SLC: Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors
Task graph scheduling has been found effective in performance prediction and optimization of parallel applications. A number of static scheduling algorithms have been proposed for...
Michel Cosnard, Emmanuel Jeannot, Tao Yang