Sciweavers

537 search results - page 85 / 108
» Accountability and automation bias
Sort
View
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
14 years 1 months ago
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
Jonathan Aldrich, Craig Chambers, Emin Gün Si...
HIM
1997
Springer
169views Multimedia» more  HIM 1997»
14 years 28 days ago
High Precision Hypertext Navigation Based on NLP Automatic Extractions
The growing popularity of hypertext navigation systems and the availability of large documentary databases is leading to the design of navigation systems that allow to explore the...
Frantz Vichot, Francis Wolinski, Joseph Tomeh, Syl...
ICSE
1997
IEEE-ACM
14 years 28 days ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
VLDB
1997
ACM
124views Database» more  VLDB 1997»
14 years 28 days ago
An Efficient Cost-Driven Index Selection Tool for Microsoft SQL Server
In this paper we describe novel techniques that make it possible to build an industrial-strength tool for automating the choice of indexes in the physical design of a SQL database...
Surajit Chaudhuri, Vivek R. Narasayya
ICIAR
2010
Springer
14 years 24 days ago
Segmentation Based Noise Variance Estimation from Background MRI Data
Accurate and precise estimation of the noise variance is often of key importance as an input parameter for posterior image processing tasks. In MR images, background data is well s...
Jeny Rajan, Dirk Poot, Jaber Juntu, Jan Sijbers