5615 search results - page 162 / 1123 » On the Computational Capabilities of Several Models |
194
click to vote
PKC
2010
Springer
15 years 10 months ago
2010
Springer
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...
160
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Management of large data repositories integrated into the Grid poses new challenges for Grid research. There already exist several successful Data Grid projects addressing process...
152
click to vote
HPCA
2001
IEEE
16 years 6 months ago
2001
IEEE
While there have been several studies and proposals for energy conservation for CPUs and peripherals, energy optimization techniques for selective operating mode control of DRAMs ...
218
click to vote
ACL2
2006
ACM
16 years 5 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
193
click to vote
Lecture Notes
These notes cover several topics such as Predicting Asset Returns, Linear Factor Model, Linear Factor Models in SDF Form, Consumption-Based Asset Pricing, Riskneutral Distributions...