2225 search results - page 254 / 445 » Logical Structures in the Lexicon |
163
click to vote
HPCA
2006
IEEE
16 years 7 months ago
2006
IEEE
In high-end processors, increasing the number of in-flight instructions can improve performance by overlapping useful processing with long-latency accesses to the main memory. Buf...
285
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
170
Voted
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
165
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
175
click to vote
ICTAI
2007
IEEE
16 years 26 days ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...