1006 search results - page 87 / 202 » What is this page known for |
TCS
2008
13 years 7 months ago
2008
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
LOGCOM
2010
13 years 7 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
VL
2010
IEEE
13 years 7 months ago
2010
IEEE
In recent years, systems have emerged that enable end users to “mash†together existing web services to build new web sites. However, little is known about how well end users ...
EGH
2009
Springer
13 years 6 months ago
2009
Springer
We discuss the mapping of elementary ray tracing operations-acceleration structure traversal and primitive intersection--onto wide SIMD/SIMT machines. Our focus is on NVIDIA GPUs,...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...