2573 search results - page 217 / 515 » Combinations of Modal Logics |
283
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
156
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
For circuits where there may be latches with no reset line, we show how to replace some of them with combinational logic. All previous work in sequential optimization by latch rem...
169
click to vote
FPL
2005
Springer
16 years 3 days ago
2005
Springer
In many industrial processes, an incorrect operation can lead to irreparable damage to people, equipment, or the environment. In order to reduce risks, the electronic control syst...
169
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce a simple hierarchical design technique for using dynamic domino circuits to build high-performance self-timed data path circuits. We wrap the dynamic domino circuit i...
176
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...