Sciweavers

1037 search results - page 127 / 208
» Compositional Variability - Concepts and Patterns
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
16 years 28 days 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...
CDC
2008
IEEE
158views Control Systems» more  CDC 2008»
16 years 19 days 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
CISS
2007
IEEE
16 years 15 days 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...
IJCNN
2007
IEEE
16 years 13 days 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 11 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...