10707 search results - page 433 / 2142 » Designing executable abstractions |
159
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
199
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
167
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Software energy estimation is a critical step in the design of energyefficient embedded systems. Instruction-level simulation techniques, despite several advances, remain too slo...
131
click to vote
IROS
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract— As robots become more commonplace within society, the need for tools to enable non-robotics-experts to develop control algorithms, or policies, will increase. Learning ...
210
click to vote
BPSC
2009
15 years 7 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...