4725 search results - page 86 / 945 » Dependence-Based Program Analysis |
125
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
In this paper, we present a thorough analysis of thread-level parallelism available in production High Performance Computing (HPC) codes. We survey a number of techniques that are...
111
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
119
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
101
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
– Within the context of Tele-Laboratories for Education the use of the Internet as communication media permits any researcher/student to perform remote experiments in a simple an...
151
Voted
IPAS
2010
15 years 14 days ago
2010
In this paper, we consider facial expression recognition using an unsupervised learning framework. Specifically, given a data set composed of a number of facial images of the same...