2409 search results - page 358 / 482 » Logical systems for structured specifications |
155
click to vote
CSCLP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
135
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
126
click to vote
DSD
2003
IEEE
15 years 9 months ago
2003
IEEE
With shrinking feature size of silicon fabrication technology, architects are putting more and more logic into a single die. While one might opt to use these transistors for build...
154
Voted
FECS
2006
15 years 5 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
162
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...