2343 search results - page 215 / 469 » MedModel - Healthcare Simulation Software |
143
click to vote
MEMOCODE
2005
IEEE
16 years 1 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
169
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
205
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
141
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a BIST scheme for testing onchip AD and DA converters. We discuss on-chip generation of linear ramps as test stimuli, and propose techniques for measurin...
175
click to vote
ICPP
2000
IEEE
15 years 11 months ago
2000
IEEE
The Virtual Interface Architecture brings the benefits of low latency User-level Networking to a cluster environment. With an increasing number of communication channels created ...