1760 search results - page 66 / 352 » Program Analysis Using Weighted Pushdown Systems |
132
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
ISCA
2010
IEEE
15 years 5 months ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
88
Voted
ARITH
2005
IEEE
15 years 6 months ago
2005
IEEE
Recent research has demonstrated the vulnerability of certain smart card architectures to power and electromagnetic analysis when multiplier operations are insufficiently shielde...
115
click to vote
HPDC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper introduces Strings, a high performance distributed shared memory system designed for clusters of symmetrical multiprocessors (SMPs). The distinguishing feature of this ...
132
click to vote
OSDI
2008
ACM
15 years 2 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...