1760 search results - page 174 / 352 » A System to Mark Programs Automatically |
144
click to vote
COMPUTER
2000
15 years 3 months ago
2000
Processor and memory technology trends portend a continual increase in the relative cost of accessing main memory. Machine designers have tried to mitigate the effect of this tren...
133
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program o...
165
click to vote
RTA
2010
Springer
15 years 6 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
137
click to vote
IIS
2001
15 years 4 months ago
2001
The paper presents computer system, named Stock Market Electronic Expert (SMEE), for Stock Market Analysis. It is developed as friendly, useful and credible computer program giving...
123
click to vote
ICFP
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...