233 search results - page 40 / 47 » Semantical Counting Circuits |
178
click to vote
TASE
2009
IEEE
16 years 12 days ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
142
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
153
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
As the technology node advances into the nanometer era, via-open defects are one of the dominant failures. To improve via yield and reliability, redundant-via insertion is a highl...
175
click to vote
IEEEPACT
2008
IEEE
16 years 2 days ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...
168
click to vote
CIE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...