10159 search results - page 489 / 2032 » System Design Validation Using Formal Models |
134
click to vote
DSD
2007
IEEE
15 years 11 months ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
141
Voted
DATE
2005
IEEE
15 years 10 months 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...
178
click to vote
AMEC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
147
click to vote
ACSW
2007
15 years 6 months ago
2007
This paper addresses the problem of performance analysis based on communication modelling of largescale heterogeneous distributed systems with emphases on enterprise grid computin...
175
click to vote
HPDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...