Sciweavers

3879 search results - page 170 / 776
» PyPBS design and methodologies
Sort
View
DAC
2011
ACM
14 years 4 months ago
Synchronous sequential computation with molecular reactions
Just as electronic systems implement computation in terms of voltage (energy per unit charge), molecular systems compute in terms of chemical concentrations (molecules per unit vo...
Hua Jiang, Marc D. Riedel, Keshab K. Parhi
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 4 months ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
TIP
2002
94views more  TIP 2002»
15 years 4 months ago
Denoising and copy attacks resilient watermarking by exploiting prior knowledge at detector
Watermarkingwith both obliviousdetection and high robustness capabilities is still a challenging problem. The existing methods are either robust or oblivious, but it is di cult to...
Chun-Shien Lu, Hong-Yuan Mark Liao, Martin Kutter
ATAL
2008
Springer
15 years 6 months ago
Automated unit testing intelligent agents in PDT
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
Zhiyong Zhang, John Thangarajah, Lin Padgham
AUTOMATICA
2010
84views more  AUTOMATICA 2010»
15 years 4 months ago
Path following using transverse feedback linearization: Application to a maglev positioning system
This article presents an approach to path following control design based on transverse feedback linearization. A "transversal" controller is designed to drive the output...
Christopher Nielsen, Cameron Fulford, Manfredi Mag...