Sciweavers

8824 search results - page 124 / 1765
» On the Complexity of Real Functions
Sort
View
HICSS
2006
IEEE
122views Biometrics» more  HICSS 2006»
15 years 10 months ago
Monitoring of Power System Topology in Real-Time
Power system topology is defined by the connectivity among power system components such as generators, power transformers, transmission lines, loads, etc. The knowledge about topo...
Mladen Kezunovic
146
Voted
PRDC
2005
IEEE
15 years 10 months ago
Development of Dependable Real-Time Systems with Zerberus
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
Christian Buckl, Alois Knoll, Gerhard Schrott
ERSHOV
2003
Springer
15 years 9 months ago
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
Henrik Björklund, Sven Sandberg, Sergei G. Vo...
CHI
2003
ACM
16 years 4 months ago
An interactive poster exhibit puts visitors in the picture, in real time
This describes the usability and interaction challenges in creating a unique museum exhibit which utilized real-time compositing, and sought to hide complex computational and netw...
Kevin Walker
ADAEUROPE
2007
Springer
15 years 10 months ago
Real-Time Utilities for Ada 2005
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
Andy J. Wellings, Alan Burns