1760 search results - page 263 / 352 » Program Analysis Using Weighted Pushdown Systems |
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
ICS
2009
Tsinghua U.
14 years 4 months ago
2009
Tsinghua U.
“Is transactional memory useful?” is the question that cannot be answered until we provide substantial applications that can evaluate its capabilities. While existing TM appli...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
AOSD
2011
ACM
13 years 5 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
SIGMOD
2012
ACM
12 years 15 days ago
2012
ACM
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...