3104 search results - page 202 / 621 » Using quantitative analysis to implement autonomic IT system... |
160
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Adaptive Demodulation (ADM) is a newly proposed rate-adaptive system which operates without requiring Channel State Information (CSI) at the transmitter (unlike adaptive modulatio...
138
click to vote
JDCTA
2010
14 years 11 months ago
2010
We implement a Korean syntactic analyzer which decreases many ambiguities in syntax parse trees using segmentation and semantic connection units. We use dependency grammar for par...
166
click to vote
IC3
2009
15 years 2 months ago
2009
In this paper we have worked out on some the complex modeling aspects such as Multi Scale modeling, MATLAB Sugar based modeling and have shown the complexities involved in the anal...
187
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...