Sciweavers

1579 search results - page 229 / 316
» On the Constructions of Constant-Weight Codes
Sort
View
ASE
2004
127views more  ASE 2004»
15 years 6 months ago
Precise Call Graphs for C Programs with Function Pointers
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
JOLLI
2002
120views more  JOLLI 2002»
15 years 6 months ago
The Donkey and the Monoid. Dynamic Semantics with Control Elements
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
Albert Visser
FOCM
2010
108views more  FOCM 2010»
15 years 4 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk
TAICPART
2010
IEEE
133views Education» more  TAICPART 2010»
15 years 4 months ago
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
Frank Eichinger, Victor Pankratius, Philipp W. L. ...
FIW
2009
101views Communications» more  FIW 2009»
15 years 4 months ago
Feature Interaction Detection in the Feature Language Extensions
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
Lei Sun, Lu Zhoa, Yimeng Li, Wu-Hon F. Leung