Sciweavers

13593 search results - page 546 / 2719
» Performance Analysis of MD5
Sort
View
RTSS
2003
IEEE
16 years 16 days ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
CSFW
2002
IEEE
16 years 6 days ago
Probabilistic Analysis of Anonymity
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
Vitaly Shmatikov
ESOP
2001
Springer
15 years 11 months ago
Control-Flow Analysis in Cubic Time
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
Flemming Nielson, Helmut Seidl
IJCNN
2000
IEEE
15 years 11 months ago
Sensitivity Analysis for Conic Section Function Neural Networks
Sensitivity analysis is a method for extracting the cause and effect relationship between the inputs and outputs of the network. After training a neural network, one may want to k...
Lale Özyilmaz, Tülay Yildirim
ICPP
1998
IEEE
15 years 11 months ago
Response Time Analysis for Distributed Real-Time Systems with Bursty Job Arrivals
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...
Chengzhi Li, Riccardo Bettati, Wei Zhao