12183 search results - page 2363 / 2437 » Computers under Attacks! |
112
click to vote
CP
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
101
click to vote
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
100
click to vote
ASPLOS
2010
ACM
15 years 2 months ago
2010
ACM
Many parallel applications exhibit unpredictable communication between threads, leading to contention for shared objects. The choice of contention management strategy impacts stro...
212
click to vote
ACCV
2010
Springer
15 years 2 months ago
2010
Springer
Most high dynamic range image (HDRI) algorithms assume stationary scene for registering multiple images which are taken under different exposure settings. In practice, however, the...
AAAI
2008
15 years 2 months ago
2008
A key trend in (electronic) commerce is a demand for higher levels of expressiveness in the mechanisms that mediate interactions. We develop a theory that ties the expressiveness ...