1411 search results - page 126 / 283 » A Value Analysis for C Programs |
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
135
click to vote
RTAS
1998
IEEE
15 years 8 months ago
1998
IEEE
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
162
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
135
click to vote
APPT
2005
Springer
15 years 10 months ago
2005
Springer
Identifying the patterns of large data sets is a key requirement in data mining. A powerful technique for this purpose is the principal component analysis (PCA). PCA-based clusteri...
161
click to vote
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...