1833 search results - page 128 / 367 » Mechanized Verification with Sharing |
176
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
160
Voted
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
134
Voted
QSHINE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. In this paper, a radio resource sharing scheme for wireless cellular network is investigated to achieve efficiency and fairness among base stations. We propose a credit-t...
170
click to vote
SBCCI
2009
ACM
15 years 11 months ago
2009
ACM
We present an application-driven customization methodology for energy-efficient inter-core communication in embedded multiprocessors. The methodology leverages configurable cach...
164
Voted
AUIC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...