6740 search results - page 303 / 1348 » Using Classification as a Programming Language |
171
click to vote
POPL
2009
ACM
15 years 9 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
165
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
102
click to vote
ACL
2006
15 years 4 months ago
2006
The Natural Language Toolkit is a suite of program modules, data sets and tutorials supporting research and teaching in computational linguistics and natural language processing. ...
140
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
131
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...