689 search results - page 100 / 138 » The multithreaded version of FORM |
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
The topic of reusable software in robotics is now largely addressed. Components based architectures, where components are independent units that can be reused accross applications,...
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
IEPOL
2010
13 years 5 months ago
2010
In this paper, we consider the competition of providers of information products against P2P networks that offer illegal versions of the information products. Depending on the gene...
COMMA
2010
13 years 2 months ago
2010
Evidence-based decision making is becoming increasingly important in many diverse domains, including healthcare, environmental management, and government. This has raised the need ...
NFM
2011
13 years 2 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...