3879 search results - page 594 / 776 » PyPBS design and methodologies |
161
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
157
click to vote
EEE
2005
IEEE
16 years 2 days ago
2005
IEEE
E-commerce web sites that sell highly customized products tend to be very complex in terms of the underlying logical model of the customization process. We present a systematic ap...
165
click to vote
FDL
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
237
click to vote
FPT
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
159
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...