7865 search results - page 130 / 1573 » Large correlation analysis |
132
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
129
click to vote
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
239
click to vote
ICSE
2012
IEEE-ACM
13 years 5 months ago
2012
IEEE-ACM
Abstract—Software systems inherently contain vulnerabilities that have been exploited in the past resulting in significant revenue losses. The study of vulnerability life cycles...
135
click to vote
ASWEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
157
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...