Sciweavers

495 search results - page 19 / 99
» Abstract Numeration Systems and Tilings
Sort
View
ECAI
2008
Springer
13 years 11 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
ICCAD
2007
IEEE
173views Hardware» more  ICCAD 2007»
14 years 6 months ago
Bounding L2 gain system error generated by approximations of the nonlinear vector field
Abstract— Typical nonlinear model order reduction approaches need to address two issues: reducing the order of the model, and approximating the vector field. In this paper we fo...
Kin Cheong Sou, Alexandre Megretski, Luca Daniel
JSCIC
2008
134views more  JSCIC 2008»
13 years 9 months ago
Discontinuous Hamiltonian Finite Element Method for Linear Hyperbolic Systems
Abstract We develop a Hamiltonian discontinuous finite element discretization of a generalized Hamiltonian system for linear hyperbolic systems, which include the rotating shallow ...
Yan Xu, Jaap J. W. van der Vegt, Onno Bokhove
INFOCOM
2008
IEEE
14 years 4 months ago
Lightweight and Compromise-Resilient Message Authentication in Sensor Networks
Abstract—Numerous authentication schemes have been proposed in the past for protecting communication authenticity and integrity in wireless sensor networks. Most of them however ...
Wensheng Zhang, Nalin Subramanian, Guiling Wang
VECPAR
2004
Springer
14 years 3 months ago
Domain Decomposition Methods for PDE Constrained Optimization Problems
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
Ernesto E. Prudencio, Richard H. Byrd, Xiao-Chuan ...