1423 search results - page 143 / 285 » Quantum logic as a dynamic logic |
190
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Just-in-time (JIT) compilation has previously been used in many applications to enable standard software binaries to execute on different underlying processor architectures. Howev...
265
click to vote
CF
2011
ACM
14 years 6 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
136
click to vote
ISLPED
2006
ACM
16 years 11 days ago
2006
ACM
In this paper, we identify the key challenges that oppose subthreshold circuit design and describe fabricated chips that verify techniques for overcoming the challenges. Categorie...
164
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
176
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...