Sciweavers

502 search results - page 54 / 101
» On the Practical Performance of Rateless Codes
Sort
View
SCAM
2007
IEEE
15 years 6 months ago
Extending Attribute Grammars with Collection Attributes--Evaluation and Applications
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
Eva Magnusson, Torbjörn Ekman, Görel Hed...
CAV
2007
Springer
111views Hardware» more  CAV 2007»
15 years 3 months ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith
IACR
2011
141views more  IACR 2011»
13 years 11 months ago
Approximate common divisors via lattices
We analyze the multivariate generalization of Howgrave-Graham’s algorithm for the approximate common divisor problem. In the m-variable case with modulus N and approximate common...
Henry Cohn, Nadia Heninger
ICSE
2008
IEEE-ACM
15 years 12 months ago
Continuous software quality supervision using SourceInventory and Columbus
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
Árpád Beszédes, Rudolf Ferenc...
IWPC
2009
IEEE
15 years 6 months ago
The loss of architectural knowledge during system evolution: An industrial case study
Architecture defines the components of a system and their dependencies. The knowledge about how the architecture is intended to be implemented is essential to keep the system str...
Martin Feilkas, Daniel Ratiu, Elmar Jürgens