5090 search results - page 571 / 1018 » Constructing Strategies for Programming |
182
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
161
click to vote
OZCHI
2009
ACM
16 years 1 months ago
2009
ACM
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...
176
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...
192
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
165
click to vote
CRYPTO
2007
Springer
16 years 1 months ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...