26 search results - page 4 / 6 » Coherence of Laws |
LICS
1997
IEEE
13 years 10 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
Real time combination of nanosensors and nanoactuators with virtual reality environment and multisensorial interfaces enable us to efficiently act and perceive at nanoscale. Advan...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
We consider the problem of Adverse Selection and optimal derivative design within a Principal-Agent framework. The principal’s income is exposed to non-hedgeable risk factors ar...
TC
2010
13 years 4 months ago
2010
—The number of CPUs in chip multiprocessors is growing at the Moore’s Law rate, due to continued technology advances. However, new technologies pose serious reliability challen...
ICS
2010
Tsinghua U.
14 years 3 months ago
2010
Tsinghua U.
Almost all of the modern computers use multiple cores, and the number of cores is expected to increase as hardware prices go down, and Moore's law fails to hold. Most of the ...