4716 search results - page 547 / 944 » Tangible functional programming |
116
click to vote
ASWEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...
125
click to vote
DSN
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
120
Voted
ASPDAC
2009
ACM
15 years 9 months ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—The problem of maximizing the sum of the transmit rates while limiting the outage probability below an appropriate threshold is investigated for networks where the nodes have li...
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...