Sciweavers

4781 search results - page 210 / 957
» Complexity at large
Sort
View
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
14 years 3 months ago
Stability and robustness conditions using frequency dependent half planes
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...
Krister Jacobsson, Lachlan L. H. Andrew, Ao Tang
PODS
2005
ACM
86views Database» more  PODS 2005»
14 years 11 months ago
Multi-structural databases
We introduce the Multi-Structural Database, a new data framework to support efficient analysis of large, complex data sets. An instance of the model consists of a set of data obje...
Ronald Fagin, Ramanathan V. Guha, Ravi Kumar, Jasm...
SOSP
2003
ACM
14 years 7 months ago
RacerX: effective, static detection of race conditions and deadlocks
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
Dawson R. Engler, Ken Ashcraft
SIGCPR
2003
ACM
183views Hardware» more  SIGCPR 2003»
14 years 4 months ago
ERP training strategies: conceptual training and the formation of accurate mental models
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...
Tony Coulson, Conrad Shayo, Lorne Olfman, C. E. Ta...
WETICE
1996
IEEE
14 years 2 months ago
Independent validation of specifications: a coordination headache
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's lifecycle. Such changes must be tracke...
Steve M. Easterbrook, John R. Callahan