3706 search results - page 178 / 742 » The Transformational Approach to Program Development |
71
Voted
CSDA
2006
15 years 2 months ago
2006
Methods such as wavelets and M-stationary process have been developed to analyze the time-frequency properties of a process where frequency changes with time. In certain circumsta...
99
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
107
Voted
IJCAI
2003
15 years 4 months ago
2003
Most of the information needs today can be satisfied by searching and browsing the Web. However, repetitive tasks such as monitoring information on Web sites should be done autom...
112
Voted
ENTCS
2007
15 years 2 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
125
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...