469 search results - page 59 / 94 » Language and library support for practical PRAM programming |
100
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
119
click to vote
IJACTAICIT
2010
14 years 10 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
115
click to vote
WOTUG
2008
15 years 2 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
175
click to vote
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
149
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...