8874 search results - page 1670 / 1775 » A New Implementation of Automath |
130
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
178
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
The aggressive evolution of the semiconductor industry — smaller process geometries, higher densities, and greater chip complexity — has provided design engineers the means to...
110
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
164
Voted
ICNP
2002
IEEE
15 years 8 months ago
2002
IEEE
The rapid advancement in wireless communication technology has spurred significant interest in the design and development of enhanced TCP protocols. Among them, TCP Westwood (TCPW...
147
Voted
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...