1151 search results - page 55 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
139
Voted
MICRO
1993
IEEE
15 years 8 months ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...
155
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The development of algorithms to infer the structure of gene regulatory networks based on expression data is an important subject in bioinformatics research. Validatio...
124
click to vote
ASYNC
2007
IEEE
15 years 8 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
157
Voted
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
141
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...