3653 search results - page 308 / 731 » On Recognizable Timed Languages |
232
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—Many companies now routinely run massive data analysis jobs – expressed in some scripting language – on large clusters of low-end servers. Many analysis scripts are complex ...
298
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Recent work has shown the necessity of considering an attacker's background knowledge when reasoning about privacy in data publishing. However, in practice, the data publishe...
313
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
273
Voted
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e....
244
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...