1940 search results - page 373 / 388 » The Dynamic Logic of Permission |
110
click to vote
RTSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Real-time systems design involves many important choices, including that of the processor. The fastest processors achieve performance by utilizing architectural features that make...
106
click to vote
FCCM
2005
IEEE
15 years 5 months ago
2005
IEEE
Just-in-time (JIT) compilation has been used in many applications to enable standard software binaries to execute on different underlying processor architectures. We previously in...
108
click to vote
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
Wireless networks consist of senders, receivers, and intermediate nodes that collaborating (more or less) to establish the communication paths. Most of the researches in the domai...
101
click to vote
ACMMSP
2005
ACM
15 years 5 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...