6740 search results - page 971 / 1348 » Using Classification as a Programming Language |
174
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
152
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
183
Voted
SIGSOFT
2006
ACM
16 years 23 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
169
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
202
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...