1579 search results - page 140 / 316 » On the Constructions of Constant-Weight Codes |
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
SAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
GPCE
2009
Springer
15 years 2 months ago
2009
Springer
Synchronization is a good candidate for an aspect in aspectoriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying h...
ENTCS
2002
14 years 9 months ago
2002
An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
As the size of data storing arrays of disks grows, it becomes vital to protect data against double disk failures. An economic way of providing such protection consists of adding tw...