Sciweavers

10263 search results - page 328 / 2053
» From Use Cases to System Operation Specifications
Sort
View
ITC
1998
IEEE
69views Hardware» more  ITC 1998»
15 years 11 months ago
A performance analysis system for MEMS using automated imaging methods
The ability to make in-situ performance measurements of MEMS operating at high speeds has been demonstrated using a new image analysis system. Significant improvements in performa...
Glenn F. LaVigne, Sam L. Miller
229
Voted
KDD
1998
ACM
183views Data Mining» more  KDD 1998»
15 years 11 months ago
Mining Generalized Association Rules and Sequential Patterns Using SQL Queries
Database integration of mining is becoming increasingly important with tile installation of larger and larger data warehouses built around relational database technology. Most of ...
Shiby Thomas, Sunita Sarawagi
AUTOMATICA
2007
88views more  AUTOMATICA 2007»
15 years 7 months ago
Design of hybrid controller for dynamic positioning from calm to extreme sea conditions
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
Trong Dong Nguyen, Asgeir J. Sørensen, Ser ...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 11 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
FAST
2010
15 years 9 months ago
Write Endurance in Flash Drives: Measurements and Analysis
We examine the write endurance of USB flash drives using a range of approaches: chip-level measurements, reverse engineering, timing analysis, whole-device endurance testing, and ...
Simona Boboila, Peter Desnoyers