2278 search results - page 374 / 456 » Specification Techniques for Automatic Performance Analysis ... |
263
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...
180
click to vote
FPGA
2007
ACM
16 years 11 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
142
click to vote
CCR
2004
15 years 6 months ago
2004
Abstract-- Human error in configuring routers undermines attempts to provide reliable, predictable end-to-end performance on IP networks. Manual configuration, while expensive and ...
226
click to vote
EMNETS
2007
15 years 10 months ago
2007
Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...
156
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...