Sciweavers

280 search results - page 30 / 56
» The Singularity system
Sort
View
APLAS
2009
ACM
14 years 1 months ago
Proving Copyless Message Passing
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
Jules Villard, Étienne Lozes, Cristiano Cal...
HYBRID
2000
Springer
13 years 11 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
DSP
2006
13 years 7 months ago
Non-parametric linear time-invariant system identification by discrete wavelet transforms
We describe the use of the discrete wavelet transform (DWT) for non-parametric linear time-invariant system identification. Identification is achieved by using a test excitation t...
Robert Wing Pong Luk, Robert I. Damper
MMAS
2010
Springer
13 years 2 months ago
Balanced Truncation of Linear Second-Order Systems: A Hamiltonian Approach
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
Carsten Hartmann, Valentina-Mira Vulcanov, Christo...
CIKM
2009
Springer
14 years 2 months ago
Hydra: a hybrid recommender system [cross-linked rating and content information]
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
Stephan Spiegel, Jérôme Kunegis, Fang...