2777 search results - page 477 / 556 » Example centric programming |
HICSS
2011
IEEE
13 years 1 months ago
2011
IEEE
— Decision optimization is used in many applications such as those for finding the best course of action in emergencies. However, optimization solutions require considerable mat...
ICSE
2012
IEEE-ACM
12 years 14 hour ago
2012
IEEE-ACM
—The wide variety of software development tools available today have a great potential to improve the way developers make software, but that potential goes unfulfilled when deve...
DAC
2007
ACM
14 years 10 months ago
2007
ACM
With increasing time-to-market pressure and shortening semiconductor product cycles, more and more chips are being designed with library-based methodologies. In spite of this shif...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...