1054 search results - page 152 / 211 » A Formalization of the Turing Test |
151
Voted
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
143
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
127
click to vote
ICNP
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
179
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
166
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...