4725 search results - page 567 / 945 » Dependence-Based Program Analysis |
179
click to vote
FMCO
2003
Springer
16 years 55 min ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
189
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...
168
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
145
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
A major challenge in effective active ageing support is to identify/design new organizational structures, approaches, and mechanisms so that on one hand older people do not feel ex...
179
Voted
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We prove a lower bound of (n4/3 log1/3 n) on the randomized decision tree complexity of any nontrivial monotone n-vertex graph property, and of any nontrivial monotone bipartite g...