2485 search results - page 429 / 497 » Enabling Simulation Interoperability |
136
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
132
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
146
click to vote
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
135
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
115
Voted
AVI
2008
15 years 4 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...