Sciweavers

569 search results - page 7 / 114
» The Sisyphus Continuous Integration System
Sort
View
FOCM
2002
108views more  FOCM 2002»
14 years 11 months ago
Geometric Integration Algorithms on Homogeneous Manifolds
Given an ordinary differential equation on a homogeneous manifold, one can construct a "geometric integrator" by determining a compatible ordinary differential equation ...
Debra Lewis, Peter J. Olver
92
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 4 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
82
Voted
HCI
2011
14 years 3 months ago
Automation Effects on Driver's Behaviour When Integrating a PADAS and a Distraction Classifier
The FP7 EU project ISi-PADAS aims at conceiving an intelligent system, called PADAS, to support drivers, which intervenes continuously from warning up to automatic braking in the w...
Fabio Tango, Luca Minin, Raghav Aras, Olivier Piet...
83
Voted
CDES
2006
100views Hardware» more  CDES 2006»
15 years 1 months ago
Integrity and Integration Issues for Nano-Tube Based Interconnect Systems
: As we continue miniaturization of circuits into nano-scale, interconnects have been recognized as the limiting factor for next generation of computing structures. To increase the...
Tulin Mangir
AAAI
1996
15 years 1 months ago
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
Siddarth Subramanian, Raymond J. Mooney