3500 search results - page 428 / 700 » Implementing Java on Clusters |
135
Voted
AAI
2002
15 years 2 months ago
2002
In this paper, we discuss scripting tools that aim at facilitating the design of web-based interactions with animated characters capable of affective communication. Specifically, ...
134
Voted
ICTAC
2010
Springer
15 years 17 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
197
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
144
Voted
WWW
2011
ACM
14 years 9 months ago
2011
ACM
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
123
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...