17054 search results - page 3088 / 3411 » Logics of Dynamical Systems |
175
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
181
click to vote
ADAPTIVE
2007
Springer
16 years 29 days ago
2007
Springer
Despite the fact that adaptive hypermedia techniques have proven their ability to provide user guidance and orientation in hyperspace, we do not currently see the widespread adopti...
151
click to vote
CC
2007
Springer
16 years 29 days ago
2007
Springer
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
169
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
Data outsourcing is becoming today a successful solution that allows users and organizations to exploit external servers for the distribution of resources. Some of the most challe...
173
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...