1154 search results - page 190 / 231 » Implementing Typed Intermediate Languages |
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
102
click to vote
VEE
2006
ACM
15 years 3 months ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciļ¬...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Todayās mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often deļ¬ne complicated navigation, resulting in expensive...
APSEC
2003
IEEE
15 years 3 months ago
2003
IEEE
The interface deļ¬nition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....