6155 search results - page 53 / 1231 » A language for multiple models of computation |
134
click to vote
ENTCS
2008
15 years 4 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
124
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
129
Voted
WSC
1997
15 years 5 months ago
1997
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
110
Voted
COLING
2002
15 years 3 months ago
2002
