2465 search results - page 337 / 493 » Automata on Linear Orderings |
168
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
173
click to vote
PPAM
2007
Springer
16 years 18 days ago
2007
Springer
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
141
click to vote
ISBI
2006
IEEE
16 years 16 days ago
2006
IEEE
We compare various popular methods available for projection and backprojection in CT. Assuming linear rays and a simple density integration along them, we consider both line- and ...
170
click to vote
SC
2005
ACM
16 years 1 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
161
click to vote
CASSIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...