3872 search results - page 128 / 775 » The Java memory model |
114
click to vote
FOCI
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...
140
click to vote
CA
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a simple and efficient method of modeling synthetic vision, memory, and learning for autonomous animated characters in real-time virtual environments. The mode...
128
Voted
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
120
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
133
click to vote
MTDT
2003
IEEE
15 years 7 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...