170 search results - page 7 / 34 » Constructing Small-Bias Sets from Algebraic-Geometric Codes |
85
Voted
WSC
2008
15 years 2 months ago
2008
Tunnel construction are essentially infrastructure projects that includes many interfered and sophisticated tasks. This paper presents a decision support tool, Tunnel_Sim, for pla...
106
Voted
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
CORR
2000
Springer
14 years 11 months ago
2000
Springer
Generating semantic lexicons semiautomatically could be a great time saver, relative to creating them by hand. In this paper, we present an algorithm for extracting potential entr...
78
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
133
click to vote
MSR
2006
ACM
15 years 5 months ago
2006
ACM
To improve software productivity, when constructing new software systems, developers often reuse existing class libraries or frameworks by invoking their APIs. Those APIs, however...