1411 search results - page 60 / 283 » A Value Analysis for C Programs |
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
CC
2001
Springer
14 years 12 days ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
ICCD
2006
IEEE
14 years 5 months ago
2006
IEEE
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
HIS
2008
13 years 10 months ago
2008
The performance of Artificial Neural Networks is largely influenced by the value of their parameters. Among these free parameters, one can mention those related with the network a...
ISI
2005
Springer
14 years 2 months ago
2005
Springer
In today’s globally networked society, there is a dual demand on both information sharing and information protection. A typical scenario is that two parties wish to integrate the...