2364 search results - page 139 / 473 » An Engine for Computing Well-Founded Models |
116
click to vote
UIST
1995
ACM
15 years 8 months ago
1995
ACM
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...
132
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
118
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
129
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
130
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...