285 search results - page 47 / 57 » Performance and Functional Verification of Microprocessors |
102
click to vote
RE
1999
Springer
15 years 1 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
CIBB
2008
14 years 11 months ago
2008
A system for utilizing an artificial neural network to predict splice sites in genes has been studied. The neural network uses a sliding window of nucleotides over a gene and predi...
107
click to vote
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
ISPASS
2009
IEEE
15 years 4 months ago
2009
IEEE
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such servi...
FCCM
2008
IEEE
15 years 4 months ago
2008
IEEE
Currently, only Xilinx Field Programmable Gate Arrays (FPGAs) support Dynamic Partial Reconfiguration (DPR). While there is currently some Computer Aided Design (CAD) tool support...