4126 search results - page 255 / 826 » Set based logic programming |
285
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
170
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
This paper describes a framework for making up a set of syllables and phonemes that subsequently is used in the creation of acoustic models for continuous speech recognition of Lit...
147
click to vote
MP
2010
15 years 4 months ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...
150
click to vote
ACSAC
2006
IEEE
16 years 13 days ago
2006
IEEE
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
174
Voted
LFCS
2009
Springer
16 years 28 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...