Sciweavers

1037 search results - page 127 / 208
» Compositional Variability - Concepts and Patterns
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 10 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
119
Voted
CDC
2008
IEEE
158views Control Systems» more  CDC 2008»
15 years 9 months ago
Cooperative control of an autonomous sampling network in an external flow field
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
Derek A. Paley
127
Voted
CISS
2007
IEEE
15 years 9 months ago
Precoder Optimization for Nonlinear MIMO Transceiver Based on Arbitrary Cost Function
— Assuming full channel state information (CSI) at both transmitter (CSIT) and receiver (CSIR), we consider optimizing a nonlinear MIMO transceiver with (nonlinear) decision feed...
Yi Jiang, Daniel Pérez Palomar, Mahesh K. V...
133
Voted
IJCNN
2007
IEEE
15 years 9 months ago
Neural Network Ensembles for Time Series Prediction
— Rapidly evolving businesses generate massive amounts of time-stamped data sequences and defy a demand for massively multivariate time series analysis. For such data the predict...
Dymitr Ruta, Bogdan Gabrys
WORDS
2005
IEEE
15 years 8 months ago
A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...
K. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, A...