7820 search results - page 353 / 1564 » Formalization of Time and Space |
248
click to vote
FIDJI
2003
Springer
16 years 23 days ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
216
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
208
click to vote
CSDA
2008
15 years 7 months ago
2008
The purpose of this paper is to forecast the time evolution of a binary response variable from an associated continuous time series observed only at discrete time points that usual...
240
click to vote
STOC
2012
ACM
13 years 10 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
180
click to vote
SPAA
2010
ACM
15 years 12 months ago
2010
ACM
In dynamically multithreaded platforms that employ work stealing, there appears to be a fundamental tradeoff between providing provably good time and space bounds and supporting S...