575 search results - page 53 / 115 » Techniques for Efficient Processing in Runahead Execution En... |
124
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Crawling the web is deceptively simple: the basic algorithm is (a) Fetch a page (b) Parse it to extract all linked URLs (c) For all the URLs not seen before, repeat (a)?(c). Howev...
154
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
141
click to vote
ICSAP
2010
14 years 10 months ago
2010
Security being the major concern during data transfers, we have various challenges to face. The requirements of the security model vary depending on the type of data to be encrypte...
117
click to vote
PPPJ
2003
ACM
15 years 6 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
123
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...