458 search results - page 64 / 92 » Universal Temporal Data Languages |
CATS
2007
15 years 1 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
182
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
When vectorizing for SIMD architectures that are commonly employed by today’s multimedia extensions, one of the new challenges that arise is the handling of memory alignment. Pr...
107
click to vote
PPOPP
2003
ACM
15 years 5 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
IUI
2003
ACM
15 years 5 months ago
2003
ACM
This study is motivated by the increased need to understand human response to video-links, 3G telephony and avatars. We focus on response of participants to audiovisual presentati...