3713 search results - page 156 / 743 » Constructing a Calculus of Programs |
129
Voted
LRE
2010
14 years 10 months ago
2010
We propose a method for automatically identifying individual instances of English verb-particle constructions (VPCs) in raw text. Our method employs the RASP parser and analysis of...
178
click to vote
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
124
click to vote
WOTUG
2008
15 years 4 months ago
2008
Abstract. The Santa Claus problem provides an excellent exercise in concurrent programming and can be used to show the simplicity or complexity of solving problems using a particul...
137
Voted
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
- This paper presents an optimal algorithm for solving the problem of simultaneous fanout optimization and routing tree construction for an ordered set of critical sinks. The algor...
178
Voted
POPL
2009
ACM
15 years 10 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...