339 search results - page 42 / 68 » On the Need for a Neural Abstract Machine |
SP
2007
IEEE
14 years 2 months ago
2007
IEEE
TCB Code Execution (Extended Abstract)∗ Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, and Arvind Seshadri Carnegie Mellon University We propose an architect...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Our research is based on the hypothesis that the most important problem that has to be solved, so as to help tutors, is the gap between required competencies of distance ...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
MPC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...