Sciweavers

805 search results - page 62 / 161
» On the Semantics of Conditional Commitment
Sort
View
IEEEPACT
1998
IEEE
15 years 4 months ago
Dynamic Hammock Predication for Non-Predicated Instruction Set Architectures
Conventional speculative architectures use branch prediction to evaluate the most likely execution path during program execution. However, certain branches are difficult to predic...
Artur Klauser, Todd M. Austin, Dirk Grunwald, Brad...
AGENTS
1997
Springer
15 years 4 months ago
Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
Subrata Kumar Das, John Fox, D. Elsdon, Peter Hamm...
PKC
2010
Springer
148views Cryptology» more  PKC 2010»
15 years 3 months ago
On the Feasibility of Consistent Computations
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
Sven Laur, Helger Lipmaa
IMECS
2007
15 years 1 months ago
A Model to Describe the Relationships Man - Machine - Maintenance - Economy (MMME)
— In the globalisation spirit, one of the major objectives of companies is how to reduce the production losses cost-effectively for continuously enhancement of competitiveness an...
Basim Al-Najjar, Daniel Andersson, Martin Jacobsso...
BSDCON
2003
15 years 1 months ago
Reasoning about SMP in FreeBSD
While the subject of SMP locking primitives has been well covered in the literature [Val][Schm][Bald][Leh], there has been relatively little discussion on the rationale and proces...
Jeffrey Hsu