7430 search results - page 844 / 1486 » Programming Applications in CIFF |
239
click to vote
CADE
2004
Springer
16 years 8 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
204
click to vote
ASPLOS
2010
ACM
16 years 2 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...
230
click to vote
LCTRTS
2004
Springer
16 years 1 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
186
click to vote
JAVA
1999
Springer
15 years 12 months ago
1999
Springer
CT With the development of dynamic compilers for Java, Java’s performance promises to rival that of equivalent C/C++ binary executions. This should ensure that Java will become t...
194
click to vote
HPDC
1997
IEEE
15 years 12 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...