6432 search results - page 180 / 1287 » Classic Mechanism Design |
142
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
129
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
143
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Code-based cryptography is often viewed as an interesting “Post-Quantum” alternative to the classical number theory cryptography. Unlike many other such alternatives, it has th...
129
Voted
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— A novel singular value decomposition (SVD) aided uplink (UL) multiuser MIMO system is proposed. In contrast to the traditional minimum mean square error (MMSE) or zeroforcing (...
129
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...