786 search results - page 9 / 158 » A static theory of promises |
109
click to vote
TAP
2007
Springer
15 years 3 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Nanoscale technology promises dramatically increased device density, but also decreased reliability. With bit error rates projected to be as high as 10%, designing a us...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
ACII
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Opposing the pre-dominant turn-wise statistics of acoustic LowLevel-Descriptors followed by static classification we re-investigate dynamic modeling directly on the frame...