2106 search results - page 157 / 422 » Specifying C concepts |
120
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
119
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...
121
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
A new method is presented to compute the exact observability don't cares (ODC) for multilevel combinational circuits. A new mathematical concept, called polarization, is intr...
120
click to vote
IWPC
1996
IEEE
15 years 8 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
150
click to vote
ISKI
1992
15 years 8 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...