2296 search results - page 458 / 460 » The Expressive Power of Synchronizations |
CACM
2011
13 years 1 months ago
2011
For many years people have speculated that electroencephalographic activity or other electrophysiological measures of brain function might provide a new non-muscular channel for s...
ICLP
2011
Springer
13 years 1 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
NAR
2011
13 years 19 days ago
2011
Phytohormone studies enlightened our knowledge of plant responses to various changes. To provide a systematic and comprehensive view of genes participating in plant hormonal regul...
PLDI
2011
ACM
13 years 18 days ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
PLDI
2011
ACM
13 years 18 days ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...