6239 search results - page 303 / 1248 » From Zinc to Design Model |
214
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
172
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
— Caches, block memories, predictors, state tables, and other forms of on-chip memory are continuing to consume a greater portion of processor designs with each passing year. Mak...
232
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...
178
click to vote
AUIC
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
174
click to vote
AC
2005
Springer
15 years 7 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...