20126 search results - page 3301 / 4026 » Timed Transition Systems |
256
click to vote
PPDP
2010
Springer
15 years 6 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
217
click to vote
RAID
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....
230
click to vote
SCP
2010
15 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
226
click to vote
ACL
2010
15 years 5 months ago
2010
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...
252
click to vote
CASES
2010
ACM
15 years 5 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...