Sciweavers

653 search results - page 58 / 131
» Implications of a Data Structure Consistency Checking System
Sort
View
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
15 years 6 months ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken
JMLR
2008
144views more  JMLR 2008»
14 years 11 months ago
Search for Additive Nonlinear Time Series Causal Models
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
Tianjiao Chu, Clark Glymour
92
Voted
JSS
2007
115views more  JSS 2007»
14 years 11 months ago
A case study in re-engineering to enforce architectural control flow and data sharing
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho
ACL
1993
15 years 1 months ago
A Complete and Recursive Feature Theory
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
Rolf Backofen, Gert Smolka
ICDM
2009
IEEE
148views Data Mining» more  ICDM 2009»
15 years 6 months ago
Online System Problem Detection by Mining Patterns of Console Logs
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...
Wei Xu, Ling Huang, Armando Fox, David Patterson, ...