16702 search results - page 448 / 3341 » Server operating systems |
193
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
209
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a wearable haptic display that indicates the pressure and vibration on the palm for bimanual operations in virtual reality environments. This system aims to provide the ...
201
click to vote
NMR
2004
Springer
16 years 6 days ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
154
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
We give an overview of the algorithms and implementations in the high-performance MPI libraries MPI/SX and MPI/ES of some of the most important collective operations of MPI (the M...
155
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...