13841 search results - page 2514 / 2769 » Algorithms and Constraint Programming |
169
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Cyber attacks against networked computers have become relentless in recent years. The most common attack method is to exploit memory corruption vulnerabilities such as buffer ove...
145
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
154
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...
165
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Increased integration in the form of multiple processor cores on a single die, relatively constant die sizes, shrinking power envelopes, and emerging applications create a new cha...
140
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...