Sciweavers

3974 search results - page 545 / 795
» Metric Functional Dependencies
Sort
View
ISAAC
2003
Springer
129views Algorithms» more  ISAAC 2003»
16 years 13 days ago
Polynomial Time Approximate Sampler for Discretized Dirichlet Distribution
Abstract. In this paper, we propose a Markov chain for sampling a random vector distributed according to a discretized Dirichlet distribution. We show that our Markov chain is rapi...
Tomomi Matsui, Mitsuo Motoki, Naoyuki Kamatani
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 12 months ago
Fault tolerant control allocation for a thruster-controlled floating platform using parametric programming
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
Jørgen Spjøtvold, Tor Arne Johansen
RE
2001
Springer
15 years 11 months ago
Deriving Safety Requirements Using Scenarios
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
Karen Allenby, Tim Kelly
DSN
2000
IEEE
15 years 11 months ago
Robustness Testing of the Microsoft Win32 API
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executin...
Charles P. Shelton, Philip Koopman, Kobey Devale
IPPS
2000
IEEE
15 years 11 months ago
Register Assignment for Software Pipelining with Partitioned Register Banks
Many techniques for increasing the amount of instruction-level parallelism (ILP) put increased pressure on the registers inside a CPU. These techniques allow for more operations t...
Jason Hiser, Steve Carr, Philip H. Sweany, Steven ...