4764 search results - page 366 / 953 » Applications of Error-Control Coding |
122
click to vote
SAS
2000
Springer
15 years 6 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
115
click to vote
INFSOF
2002
15 years 2 months ago
2002
While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and th...
129
click to vote
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
154
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...