3256 search results - page 520 / 652 » Applications of Formal Methods to System Design and Verifica... |
117
click to vote
TIM
2010
14 years 4 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
117
click to vote
IESS
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
EGPGV
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a new interactive parallel method for direct visualization of large particle datasets. Based on a parallel rendering cluster, a frame rate of 9 frames-per-seco...
VL
1992
IEEE
15 years 2 months ago
1992
IEEE
Automatic graphic objectlayout methods havelong been studied in many application areas in which graphic objects should be laid out to satisfy the constraints specific to each appl...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Today, commodity technologies like mobile phones—once symbols of status and wealth—have become deeply woven into social and economic participation in Western society. Despite ...