9626 search results - page 1232 / 1926 » Invariant Based Programming |
206
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
193
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
175
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
In this paper, we consider the possibility of altering the PageRank of web pages, from an administrator's point of view, through the modification of the PageRank equation. It...
352
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
319
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...