2106 search results - page 203 / 422 » Operational Semantics for MSC'96 |
151
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...
174
click to vote
ACMMSP
2006
ACM
16 years 2 hour ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
167
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
165
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
195
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...