1133 search results - page 23 / 227 » Local Logics for Traces |
98
Voted
FCT
2005
Springer
15 years 6 months ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
136
Voted
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
202
click to vote
ISBI
2011
IEEE
14 years 4 months ago
2011
IEEE
Active research in the area of 3-D neurite tracing has predominantly focused on single sections. Ultimately, however, neurobiologists desire to study the long range connectivity o...
VLDB
1987
ACM
15 years 4 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
125
Voted
EUROGRAPHICS
2010
Eurographics
15 years 8 months ago
2010
Eurographics
We present a novel approach to ray tracing execution on commodity graphics hardware using CUDA. We decompose
a standard ray tracing algorithm into several data-parallel stages tha...