11214 search results - page 1783 / 2243 » Programming Multi-agent Systems |
157
click to vote
WSC
2008
15 years 10 months ago
2008
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
211
click to vote
WSC
2008
15 years 10 months ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
213
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
227
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...
192
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...