5630 search results - page 97 / 1126 » Computability in Specification |
194
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
We propose an application specific processor for computational quantum chemistry. The kernel of interest is the computation of electron repulsion integrals (ERIs), which vary in c...
158
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
156
click to vote
ITICSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper explores some of the issues associated with teaching computer science to students with dyslexia. Issues associated with both student learning generally and computer sci...
114
click to vote
ENC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
187
Voted
JASIS
2010
14 years 10 months ago
2010
The decision of the United States Supreme Court in 1991 in Feist Publications, Inc. v. Rural Tel. Service Co. affirmed originality as a constitutional requirement for copyright. O...