1054 search results - page 143 / 211 » Fast Simulation Techniques for Design Space Exploration |
TOG
2002
14 years 9 months ago
2002
Cutting and pasting to combine different elements into a common structure are widely used operations that have been successfully adapted to many media types. Surface design could ...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a new technique for multiple-input multiple-output (MIMO) radar with colocated antennas. The essence of the proposed technique is to partition the transmitting array in...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
IJCAI
1989
14 years 11 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
PATMOS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. An extensible and configurable processor is a programmable platform offering the possibility to customize the instruction set and/or underlying microarchitecture. Efficie...