2335 search results - page 385 / 467 » Functional Differentiation of Computer Programs |
108
click to vote
WMPI
2004
ACM
15 years 7 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
124
click to vote
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
101
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-the-shelf processors become cheaper and faster, ...
118
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
A traditional fixed-function graphics accelerator has evolved into a programmable general-purpose graphics processing unit over the last few years. These powerful computing cores...
128
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
IAT Services, the central Information Technology group at the University of Missouri-Columbia, operates computing sites in general access, classroom, and residence hall settings. ...