Sciweavers

78 search results - page 1 / 16
» Static Analysis of the Accuracy in Control Systems: Principl...
Sort
View
FMICS
2007
Springer
13 years 11 months ago
Static Analysis of the Accuracy in Control Systems: Principles and Experiments
Eric Goubault, Sylvie Putot, Philippe Baufreton, J...
DSN
2006
IEEE
13 years 10 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
GMP
2006
IEEE
155views Solid Modeling» more  GMP 2006»
13 years 10 months ago
Geometric Accuracy Analysis for Discrete Surface Approximation
In geometric modeling and processing, computer graphics and computer vision, smooth surfaces are approximated by discrete triangular meshes reconstructed from sample points on the...
Junfei Dai, Wei Luo, Shing-Tung Yau, Xianfeng Gu
EUROSYS
2007
ACM
13 years 8 months ago
Discrete control for safe execution of IT automation workflows
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
Yin Wang, Terence Kelly, Stéphane Lafortune
ICDE
2005
IEEE
127views Database» more  ICDE 2005»
13 years 10 months ago
Static and Dynamic Scoring by Web Page Grouping
Web Search System exists to retrieve necessary information on the WWW space. However, these are not accuracy enough. Then, we propose the technique for using Web Page Grouping tog...
Hitoshi Nakakubo, Takashi Sato