509 search results - page 13 / 102 » Standardization and Testing of Mathematical Functions |
PE
2002
Springer
13 years 10 months ago
2002
Springer
This work addresses the resource sharing problem in broadband communication networks that can guarantee some quality of service (QoS), and develops some results about data source ...
AICCSA
2006
IEEE
14 years 4 months ago
2006
IEEE
The problem of optimally deploying a heterogeneous set of sensing devices in environments with differential surveillance requirements is presented. The problem is formulated in th...
ICFP
2007
ACM
14 years 2 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
ICSEA
2007
IEEE
14 years 4 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
BMCBI
2010
13 years 10 months ago
2010
Background: Metabolic pathway is a highly regulated network consisting of many metabolic reactions involving substrates, enzymes, and products, where substrates can be transformed...