Sciweavers

4781 search results - page 210 / 957
» Complexity at large
Sort
View
97
Voted
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
15 years 5 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
89
Voted
PODS
2005
ACM
86views Database» more  PODS 2005»
16 years 25 days 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...
92
Voted
SOSP
2003
ACM
15 years 9 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
101
Voted
SIGCPR
2003
ACM
183views Hardware» more  SIGCPR 2003»
15 years 6 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
15 years 4 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