3765 search results - page 647 / 753 » Formal Methods for Systems Engineering Behavior Models |
137
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Genome-scale metabolic reconstructions under the Constraint Based Reconstruction and Analysis (COBRA) framework are valuable tools for analyzing the metabolic capabili...
136
Voted
WCRE
2010
IEEE
15 years 27 days ago
2010
IEEE
—There are numerous studies that examine whether or not cloned code is harmful to software systems. Yet, few of them study which characteristics of cloned code in particular lead...
141
Voted
WCET
2010
15 years 12 days ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
133
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Pervasive computing devices (e.g., sensor networks, localization devices, cameras, etc.) are increasingly present in every aspect of our lives. These devices are able to generate ...
119
Voted
PTS
2008
15 years 4 months ago
2008
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...