Sciweavers

2625 search results - page 162 / 525
» The development of the Emerald programming language
Sort
View
IFIP
2009
Springer
15 years 2 months ago
Consistency Analysis of Network Traffic Repositories
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
Elmer Lastdrager, Aiko Pras
PADL
2011
Springer
14 years 7 months ago
Plato: A Compiler for Interactive Web Forms
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
Timothy L. Hinrichs
PADL
2012
Springer
14 years 1 days ago
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
Kenny Qili Zhu, Kathleen Fisher, David Walker
TODS
2012
13 years 7 months ago
A survey of B-tree logging and recovery techniques
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
Goetz Graefe
JMLR
2012
13 years 7 months ago
Wilks' phenomenon and penalized likelihood-ratio test for nonparametric curve registration
The problem of curve registration appears in many different areas of applications ranging from neuroscience to road traffic modeling. In the present work, we propose a nonparamet...
Arnak S. Dalalyan, Olivier Collier