5434 search results - page 979 / 1087 » Tool support for MOLA |
235
click to vote
SOSP
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
187
click to vote
WWW
2010
ACM
16 years 22 days ago
2010
ACM
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
187
click to vote
PLDI
2009
ACM
16 years 17 days ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
167
click to vote
SC
2009
ACM
16 years 17 days ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
161
click to vote
CODES
2009
IEEE
16 years 16 days ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...