3169 search results - page 416 / 634 » A General Framework for Large Scale Systems Development |
196
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
The LOCKSS project has developed and deployed in a worldwide test a peer-to-peer system for preserving access to journals and other archival information published on the Web. It c...
168
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
138
click to vote
ICAC
2005
IEEE
16 years 23 hour ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
180
click to vote
ACMMSP
2005
ACM
15 years 12 months ago
2005
ACM
In this work we investigate the impact of evolving memory system features, such as large on-chip caches, automatic prefetch, and the growing distance to main memory on 3D stencil ...
210
click to vote
EMISA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract: Enterprises are socio technical systems whose management involves multiple stakeholders each demanding for a distinct perspective on the enterprise. A large number of mod...