2486 search results - page 118 / 498 » A Type System for Computationally Secure Information Flow |
MISQ
2000
13 years 8 months ago
2000
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...
EUROPAR
2009
Springer
14 years 1 months ago
2009
Springer
A high-level understanding of how an application executes and which performance characteristics it exhibits is essential in many areas of high performance computing, such as applic...
ICS
1989
Tsinghua U.
14 years 28 days ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
MOBIHOC
2003
ACM
14 years 8 months ago
2003
ACM
In hostile environments, the enemy can launch traffic analysis against interceptable routing information embedded in routing messages and data packets. Allowing adversaries to tra...