6978 search results - page 1157 / 1396 » On Proofs in System P |
213
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Irregular and dynamic parallel applications pose significant challenges to achieving scalable performance on large-scale multicore clusters. These applications often require ongo...
176
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Role mining algorithms address an important access control problem: configuring a role-based access control system. Given a direct assignment of users to permissions, role mining...
182
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
We present a system, called PL-Tags, for detecting the presence of batteryless tags in a building or home through the power lines. The excitation (or interrogation) and detection o...
185
Voted
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
148
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In professional tennis training matches, the coach needs to be able to view play from the most appropriate angle in order to monitor players activities. In this paper, we presen...