2834 search results - page 245 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
162
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
188
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...
186
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
To cope with the increasing demand for higher computational power and flexibility, dynamically reconfigurable blocks become an important part inside a system-on-chip. Several meth...
149
click to vote
WSC
1997
15 years 8 months ago
1997
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
127
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...