318 search results - page 10 / 64 » An Experimental Ambiguity Detection Tool |
GLVLSI
2005
IEEE
14 years 4 months ago
2005
IEEE
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
BMCBI
2005
13 years 10 months ago
2005
The current methods of publishing chemical information in bioscience articles are analysed. Using 3 papers as use-cases, it is shown that conventional methods using human procedur...
DAC
2010
ACM
13 years 9 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
WSC
1998
13 years 12 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
BMCBI
2010
13 years 10 months ago
2010
Background: The binding of regulatory proteins to their specific DNA targets determines the accurate expression of the neighboring genes. The in silico prediction of new binding s...