2343 search results - page 78 / 469 » MedModel - Healthcare Simulation Software |
150
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
126
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
136
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
130
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
142
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
In 2002, Japan announced the Earth Simulator—a supercomputer based on low-volume vector processors and a custom network—and reported that computational scientists had used it ...