2343 search results - page 215 / 469 » MedModel - Healthcare Simulation Software |
109
Voted
MEMOCODE
2005
IEEE
15 years 9 months 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...
127
click to vote
IPPS
2002
IEEE
15 years 8 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...
166
click to vote
CEEMAS
2001
Springer
15 years 8 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...
107
Voted
DATE
2000
IEEE
15 years 8 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...
133
Voted
ICPP
2000
IEEE
15 years 8 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 ...