11022 search results - page 432 / 2205 » Programming Systems for Autonomy |
193
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
207
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
193
click to vote
ECOOP
2010
Springer
16 years 11 days ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
209
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
239
click to vote
SIGMOD
2012
ACM
13 years 10 months ago
2012
ACM
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...