1528 search results - page 271 / 306 » Implementing Generalized Operator Overloading |
EUROSYS
2009
ACM
14 years 5 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle usersā conļ¬...
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
Virtual memory has been successfully used in diļ¬erent domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal veriļ¬cation. In this paper, we explore the use of over-appr...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...
CCS
2010
ACM
14 years 3 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...