1026 search results - page 137 / 206 » A Methodology for Equational Reasoning |
FECS
2010
13 years 7 months ago
2010
- With computational tools becoming more integrated into the education experience, the accessibility of college website homepages is becoming increasingly important for several rea...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
IJACTAICIT
2010
13 years 3 months ago
2010
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...
JDCTA
2010
13 years 3 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. We study an FPGA architecture with a dual voltage s...