7628 search results - page 125 / 1526 » Automatic Generation of the C |
147
click to vote
TC
2008
15 years 4 months ago
2008
Since redundant number systems allow for constant time addition, they are often at the heart of modular multipliers designed for public key cryptography (PKC) applications. Indeed,...
147
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
158
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
A taxonomy organizes concepts or topics in a hierarchical structure and can be created manually or via automated systems. A major drawback of taxonomies is that they require users...
125
click to vote
TOG
2010
14 years 11 months ago
2010
Destination maps are navigational aids designed to show anyone within a region how to reach a location (the destination). Handdesigned destination maps include only the most impor...
144
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Metabolic fluxes provide invaluable insight on the integrated response of a cell to environmental stimuli or genetic modifications. Current computational methods for e...