Sciweavers

3468 search results - page 383 / 694
» Solid and physical modeling
Sort
View
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
KDD
1997
ACM
72views Data Mining» more  KDD 1997»
15 years 10 months ago
Detecting Atmospheric Regimes Using Cross-Validated Clustering
Low-frequency variability in geopotential height records of the Northern Hemisphere is a topic of significance in atmospheric science, having profound implications for climate mod...
Padhraic Smyth, Michael Ghil, Kayo Ide, Joseph Rod...
EUC
2006
Springer
15 years 10 months ago
Co-optimization of Performance and Power in a Superscalar Processor Design
Abstract. As process technology scales down, power wall starts to hinder improvements in processor performance. Performance optimization has to proceed under a power constraint. Th...
Yongxin Zhu, Weng-Fai Wong, Stefan Andrei
FMCAD
2006
Springer
15 years 10 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
CATA
2006
15 years 8 months ago
Discrete Shells Origami
We introduce a way of simulating the creation of simple Origami (paper folding). The Origami is created in a thin shell simulation that realistically models the behavior and physi...
Rob Burgoon, Zoë J. Wood, Eitan Grinspun