1860 search results - page 155 / 372 » tools 2009 |
155
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents ongoing work toward the development of one-handed interaction techniques for mobile devices with a small touch-screen. This work comprises three main parts: th...
144
click to vote
EACL
2009
ACL Anthology
16 years 6 months ago
2009
ACL Anthology
Handling terminology is an important matter in a translation workflow. However, current Machine Translation (MT) systems do not yet propose anything proactive upon tools which ass...
159
click to vote
EUROCRYPT
2009
Springer
16 years 6 months ago
2009
Springer
The existence of encryption and commitment schemes secure under selective opening attack (SOA) has remained open despite considerable interest and attention. We provide the rst pub...
161
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
144
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...