Sciweavers

9049 search results - page 351 / 1810
» The New C Standard
Sort
View
SCAM
2003
IEEE
16 years 1 days ago
Online Cycle Detection and Difference Propagation for Pointer Analysis
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
David J. Pearce, Paul H. J. Kelly, Chris Hankin
ACSE
2000
ACM
15 years 11 months ago
A streamlined system for building online presentation archives using SMIL
The demand for and expectation of ubiquitous access to multimedia online learning resources are much higher amongst computer science students than other fields of study. Previous ...
Darren James, Jane Hunter
CRYPTO
2000
Springer
91views Cryptology» more  CRYPTO 2000»
15 years 11 months ago
An Improved Pseudo-random Generator Based on Discrete Log
Under the assumption that solving the discrete logarithm problem modulo an n-bit prime p is hard even when the exponent is a small c-bit number, we construct a new and improved pse...
Rosario Gennaro
ICCAD
1996
IEEE
86views Hardware» more  ICCAD 1996»
15 years 11 months ago
Polarized observability don't cares
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...
Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van...
WSC
2007
15 years 9 months ago
Using flexible points in a developing simulation of selective dissolution in alloys
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
Joseph C. Carnahan, Steven A. Policastro, Erin C. ...