1760 search results - page 229 / 352 » Program Analysis Using Weighted Pushdown Systems |
CIDR
2009
15 years 3 months ago
2009
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
122
click to vote
OSDI
1994
ACM
15 years 3 months ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
118
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
108
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
124
Voted
SIGSOFT
2010
ACM
15 years 7 days ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...