923 search results - page 62 / 185 » Proving the value of formal methods |
130
click to vote
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
179
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Shaping functions can be used in multi-task reinforcement learning (RL) to incorporate knowledge from previously experienced tasks to speed up learning on a new task. So far, rese...
130
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
159
click to vote
QEST
2008
IEEE
16 years 15 days ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
158
click to vote
ISPDC
2007
IEEE
16 years 12 days ago
2007
IEEE
Selection of spaceborne computing platforms requires balance among several competing factors. Traditional performance analysis techniques are illsuited for this purpose due to the...