454 search results - page 17 / 91 » An EDSL approach to high performance Haskell programming |
ASPLOS
1987
ACM
15 years 1 months ago
1987
ACM
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...
VTS
2007
IEEE
15 years 4 months ago
2007
IEEE
—As the complexity of the integrated circuits increases, they become more susceptible to manufacturing faults, decreasing the total process yield. Thus, it would be desirable to ...
FORTE
2008
14 years 12 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
176
click to vote
ASPLOS
2009
ACM
15 years 11 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
103
click to vote
SC
2005
ACM
15 years 4 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...