Sciweavers

2278 search results - page 343 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
CORR
2011
Springer
127views Education» more  CORR 2011»
14 years 6 months ago
Is a probabilistic modeling
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
Michel Fliess, Cédric Join, Fréd&eac...
TSMC
2010
14 years 6 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
SIGSOFT
2003
ACM
16 years 9 days ago
Regression testing of GUIs
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
Atif M. Memon, Mary Lou Soffa
MICCAI
2007
Springer
16 years 15 days ago
Tract-Based Morphometry
Multisubject statistical analyses of diffusion tensor images in regions of specific white matter tracts have commonly measured only the mean value of a scalar invariant such as the...
Lauren O'Donnell, Carl-Fredrik Westin, Alexandra G...
RTSS
2007
IEEE
15 years 5 months ago
Adapting Futures: Scalability for Real-World Computing
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
Johannes Helander, Risto Serg, Margus Veanes, Prit...