118 search results - page 13 / 24 » Scaling model checking of dataraces using dynamic informatio... |
JWSR
2007
13 years 7 months ago
2007
: Dynamic Web data sources – sometimes known collectively as the Deep Web – increase the utility of the Web by providing intuitive access to data repositories anywhere that Web...
EDBT
2010
ACM
14 years 2 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
MIR
2006
ACM
14 years 1 months ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
CDC
2008
IEEE
2008
IEEE
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices
13 years 7 months ago
Traffic state estimation is a challenging problem for the transportation community due to the limited deployment of sensing infrastructure. However, recent trends in the mobile pho...