588 search results - page 54 / 118 » Minimality Results for the Spatial Logics |
ENTCS
2008
13 years 9 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
TWC
2010
13 years 3 months ago
2010
User cooperation, whereby multiple users share their antennas and transmit to a common destination in a collaborative manner, has been shown to be an effective way to achieve spat...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Over the years reconfigurable computing devices such as FPGAs have evolved from gate-level glue logic to complex reprogrammable processing architectures. However, the tools used f...
ICCAD
1996
IEEE
14 years 1 months ago
1996
IEEE
We describe an algorithm for the synthesis and optimization of interface circuits for embedded system components such as microprocessors, memory ASIC, and network subsystems with ...
VTS
1996
IEEE
14 years 29 days ago
1996
IEEE
Designing a testable circuit is often a two step process. First, the circuit is designed to conform to the functional specifications. Then, the testability aspects are added. By t...