1187 search results - page 93 / 238 » Graph-Based Procedural Abstraction |
128
click to vote
APLAS
2011
ACM
14 years 1 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
127
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
106
click to vote
DIS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Information networks, such as social networks and that extracted from bibliographic data, are changing dynamically over time. It is crucial to discover time-evolving comm...
121
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— Given a wireless ad hoc network and an endto-end traffic pattern, the power rate function refers to the minimum total power required to support different throughput un...
105
click to vote
IWPC
2005
IEEE
15 years 7 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...