248 search results - page 46 / 50 » On the existence of stable models of non-stratified logic pr... |
102
click to vote
TCAD
2008
14 years 11 months ago
2008
Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the mos...
125
click to vote
AOSD
2003
ACM
15 years 4 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
103
click to vote
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
We propose a technology mapping algorithm that takes existing structural technology-mapping algorithms based on dynamic programming [1,3,4] and extends them to retime pipelined cir...
138
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...