927 search results - page 39 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
121
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
187
click to vote
SIGMOD
2006
ACM
16 years 21 days ago
2006
ACM
Traditional duplicate elimination techniques are not applicable to many data stream applications. In general, precisely eliminating duplicates in an unbounded data stream is not f...
123
Voted
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
114
click to vote
BIBE
2007
IEEE
15 years 2 months ago
2007
IEEE
—DNA microarray technologies provide means for monitoring in the order of tens of thousands of gene expression levels quantitatively and simultaneously. However data generated in...
228
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...