4722 search results - page 96 / 945 » Encoding Program Executions |
111
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
120
click to vote
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
125
Voted
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
139
click to vote
VEE
2006
ACM
15 years 8 months ago
2006
ACM
During recent years, microprocessor energy consumption has been surging and efforts to reduce power and energy have received a lot of attention. At the same time, virtual executio...
144
click to vote
CF
2006
ACM
15 years 4 months ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...