4902 search results - page 745 / 981 » Structures, Semantics and Statistics |
150
click to vote
WAPCV
2007
Springer
15 years 11 months ago
2007
Springer
It is well known that the brain (especially the cortex) is structurally separable into two hemispheres. Many neuropsychological studies show that the process of ambiguity resoluti...
149
Voted
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
150
click to vote
ASIAN
2004
Springer
15 years 10 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
189
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
144
Voted
WISE
2002
Springer
15 years 10 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...