Sciweavers

3831 search results - page 662 / 767
» Dynamic Context Logic
Sort
View
87
Voted
CORR
2008
Springer
79views Education» more  CORR 2008»
15 years 23 days ago
Non-classical Role of Potential Energy in Adiabatic Quantum Annealing
Adiabatic quantum annealing is a paradigm of analog quantum computation, where a given computational job is converted to the task of finding the global minimum of some classical po...
Arnab Das
108
Voted
ECEASST
2008
112views more  ECEASST 2008»
15 years 23 days ago
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
IANDC
2008
84views more  IANDC 2008»
15 years 22 days ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
CL
2006
Springer
15 years 22 days ago
Runtime bytecode transformation for Smalltalk
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
Marcus Denker, Stéphane Ducasse, Éri...
90
Voted
IJSNET
2008
126views more  IJSNET 2008»
15 years 20 days ago
Minimising the effect of WiFi interference in 802.15.4 wireless sensor networks
: Interference from colocated networks operating over the same frequency range, becomes an increasingly severe problem as the number of networks overlapping geographically increase...
Razvan Musaloiu-Elefteri, Andreas Terzis