Sciweavers

683 search results - page 87 / 137
» Hierarchical spacetime control
Sort
View
DFG
2004
Springer
15 years 2 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 2 months ago
Management of electric vehicle charging to mitigate renewable generation intermittency and distribution network congestion
—We consider the management of electric vehicle (EV) loads within a market-based Electric Power System Control Area. EV load management achieves cost savings in both (i) EV batte...
Michael C. Caramanis, Justin M. Foster
SIGGRAPH
1997
ACM
15 years 3 months ago
Interactive update of global illumination using a line-space hierarchy
Interactively manipulating the geometry of complex, globally illuminated scenes has to date proven an elusive goal. Previous attempts have failed to provide interactive updates of...
George Drettakis, François X. Sillion
ICSE
2008
IEEE-ACM
15 years 12 months ago
Tool support for the navigation in graphical models
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
Tobias Reinhard, Silvio Meier, Reinhard Stoiber, C...
ICCD
2005
IEEE
246views Hardware» more  ICCD 2005»
15 years 8 months ago
H-SIMD Machine: Configurable Parallel Computing for Matrix Multiplication
FPGAs (Field-Programmable Gate Arrays) are often used as coprocessors to boost the performance of dataintensive applications [1, 2]. However, mapping algorithms onto multimillion-...
Xizhen Xu, Sotirios G. Ziavras