4126 search results - page 548 / 826 » Set based logic programming |
141
Voted
ICISS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
219
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
In the implementation of hosted business services, multiple tenants are often consolidated into the same database to reduce total cost of ownership. Common practice is to map mult...
150
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
147
Voted
MICRO
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...
138
click to vote
CADE
2007
Springer
15 years 9 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...