9110 search results - page 1664 / 1822 » Formally-Based Design Evaluation |
119
click to vote
SODA
2010
ACM
16 years 27 days ago
2010
ACM
An ancestry labeling scheme labels the nodes of any tree in such a way that ancestry queries between any two nodes can be answered just by looking at their corresponding labels. T...
193
click to vote
PPOPP
2010
ACM
16 years 23 days ago
2010
ACM
Effective data placement strategies can enhance the performance of data-intensive applications implemented on high end computing clusters. Such strategies can have a significant i...
137
Voted
EUROSYS
2009
ACM
16 years 18 days ago
2009
ACM
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
149
Voted
EUROSYS
2009
ACM
16 years 18 days ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...
116
Voted
EUROSYS
2009
ACM
16 years 18 days ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conï¬...