5326 search results - page 1043 / 1066 » On what we can ensure |
225
Voted
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Many cluster based replication solutions have been proposed providing scalability and fault-tolerance. Many of these solutions perform replica control in a middleware on top of th...
175
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
178
click to vote
ASPLOS
2010
ACM
16 years 28 days ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
172
click to vote
RTAS
2009
IEEE
16 years 24 days ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
193
click to vote
APGV
2009
ACM
16 years 18 days ago
2009
ACM
Visualizations of 3D spatial structures use various techniques such as user controlled interactions or 2D projection views to convey the structure to users. Researchers have shown...