2343 search results - page 189 / 469 » MedModel - Healthcare Simulation Software |
161
click to vote
SIAMCOMP
2011
14 years 10 months ago
2011
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...
114
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
125
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
lection of software tools including: NSL, a neural simulation language; ASL, an abstract schema language; and MissionLab, a schema-based mission-oriented simulation and robot imple...
152
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
155
click to vote
ICCAD
2003
IEEE
16 years 20 days ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...