1151 search results - page 61 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
130
click to vote
ASPDAC
2012
ACM
13 years 11 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
131
click to vote
BPSC
2009
15 years 5 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
145
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
162
click to vote
CSREAESA
2003
15 years 5 months ago
2003
Most so-called “adiabatic” digital logic circuit families reported in the low-power design literature are actually not truly adiabatic, in that they do not satisfy the general...
132
click to vote
FCCM
2000
IEEE
15 years 8 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...