2351 search results - page 207 / 471 » A Method of Requirement Inconsistency Analysis |
146
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
We present new algorithms for computing approximate quantiles of large datasets in a single pass. The approximation guarantees are explicit, and apply without regard to the value ...
204
click to vote
SCS
2003
15 years 8 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
156
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Association testing is a powerful tool for identifying disease susceptibility genes underlying complex diseases. Technological advances have yielded a dramatic increas...
133
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a Pareto efficient design method for multi-dimensional optimization of run-time reconfigurable streaming applications on CPU/FPGA platforms, which automatically allocate...
146
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
— Few robot tasks require as forceful an interaction with the world as excavation. In order to effectively plan its actions, our robot excavator requires a method that allows it ...