Sciweavers

2911 search results - page 485 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
JLP
2008
129views more  JLP 2008»
14 years 10 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
JSW
2008
130views more  JSW 2008»
14 years 10 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
JUCS
2008
129views more  JUCS 2008»
14 years 10 months ago
Easing the Smart Home: Semi-automatic Adaptation in Perceptive Environments
: This paper analyses the requirements of automation and adaptation in the so called perceptive environments. These environments are places with the ability of perceiving the conte...
Manuel García-Herranz, Pablo A. Haya, Abrah...
EC
2007
120views ECommerce» more  EC 2007»
14 years 10 months ago
On Replacement Strategies in Steady State Evolutionary Algorithms
Steady-State models of Evolutionary Algorithms are widely used, yet surprisingly little attention has been paid to the effects arising from different replacement strategies. This ...
Jim Smith
JSAC
2006
93views more  JSAC 2006»
14 years 10 months ago
Towards a Generalized Stochastic Model of End-to-End Packet-Pair Sampling
End-to-end packet-pair probing has been used as one of the primary mechanisms to measure bottleneck capacity, crosstraffic intensity, and available bandwidth of end-to-end Internet...
Xiliang Liu, Kaliappa Nadar Ravindran, Dmitri Logu...