136 search results - page 13 / 28 » The Category Theoretic Solution of Recursive Program Schemes |
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
SIGDOC
2006
ACM
14 years 2 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
ACMSE
2011
ACM
12 years 8 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
PLDI
1997
ACM
14 years 23 days ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...