2079 search results - page 114 / 416 » Quantifying Information Flow |
ESORICS
2006
Springer
14 years 22 days ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
ROBOCUP
2004
Springer
14 years 2 months ago
2004
Springer
Generation of a sequence of behaviors is necessary for the RoboCup Humanoid league to realize not simply a individual robot performance but also cooperative ones between robots. A ...
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...
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
ICS
1989
Tsinghua U.
14 years 1 months 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...