Sciweavers

2485 search results - page 287 / 497
» Enabling Simulation Interoperability
Sort
View
147
Voted
ATAL
2008
Springer
15 years 5 months ago
Continual collaborative planning for mixed-initiative action and interaction
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
Michael Brenner
ASPDAC
2005
ACM
101views Hardware» more  ASPDAC 2005»
15 years 5 months ago
A wideband hierarchical circuit reduction for massively coupled interconnects
— We develop a realizable circuit reduction to generate the interconnect macro-model for parasitic estimation in wideband applications. The inductance is represented by VPEC (vec...
Hao Yu, Lei He, Zhenyu Qi, Sheldon X.-D. Tan
DAC
2005
ACM
15 years 5 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 4 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
CAINE
2007
15 years 4 months ago
Tracking Compounds and Their Interactions within In Silico Liver
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...
Sunwoo Park, Sean H. J. Kim, Glen E. P. Ropella, C...