Sciweavers

748 search results - page 72 / 150
» Automatic Presentations and Semigroup Constructions
Sort
View
ICDCS
2002
IEEE
14 years 1 months ago
Group-Based Management of Distributed File Caches
We describe how to manage distributed file system caches based upon groups of files that are accessed together. We use file access patterns to automatically construct dynamic g...
Ahmed Amer, Darrell D. E. Long, Randal C. Burns
ISBI
2002
IEEE
14 years 1 months ago
Bayesian clustering methods for morphological analysis of MR images
Determining the relationship between structure (i.e. morphology) and function is a fundamental problem in brain research. In this paper we present a new framework based on Bayesia...
Hanchuan Peng, Edward Herskovits, Christos Davatzi...
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
14 years 1 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
ICSE
2009
IEEE-ACM
14 years 1 months ago
An Empirical Study of Testing File-System-Dependent Software with Mock Objects
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonat...
ITC
2000
IEEE
74views Hardware» more  ITC 2000»
14 years 1 months ago
A good excuse for reuse: "open" TAP controller design
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
David B. Lavo