Sciweavers

1679 search results - page 199 / 336
» Variability and Component Composition
Sort
View
CORR
2004
Springer
151views Education» more  CORR 2004»
13 years 9 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
ICFP
2008
ACM
14 years 9 months ago
Mixin' up the ML module system
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
Derek Dreyer, Andreas Rossberg
SAG
2004
Springer
14 years 2 months ago
A Framework for the Design and Reuse of Grid Workflows
Grid workflows can be seen as special scientific workflows involving high performance and/or high throughput computational tasks. Much work in grid workflows has focused on improvi...
Ilkay Altintas, Adam Birnbaum, Kim Baldridge, Wibk...
CORR
2007
Springer
74views Education» more  CORR 2007»
13 years 9 months ago
Packaging of RF Mems Switching Functions on Alumina Substrate
The expending development of wireless communication requires strong demands for components with improved capabilities. RF MEMS devices offer a variable alternative to conventional...
M.-K. El Khatib, Arnaud Pothier, Pierre Blondy
CSDA
2007
108views more  CSDA 2007»
13 years 9 months ago
Diagnostics for functional regression via residual processes
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...
Jeng-Min Chiou, Hans-Georg Müller