44 search results - page 3 / 9 » Range Allocation for Separation Logic |
TCOM
2010
2010
Per-antenna rate and power control for MIMO layered architectures in the low- and high-power regimes
13 years 3 months ago
—In a MIMO layered architecture, several codewords are transmitted from a multiplicity of antennas. Although the spectral efficiency is maximized if the rates of these codewords...
MKM
2007
Springer
13 years 11 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
FPL
2005
Springer
13 years 10 months ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...
CLUSTER
2008
IEEE
13 years 11 months ago
2008
IEEE
— Applications raising in many scientific fields exhibit both data and task parallelism that have to be exploited efficiently. A classic approach is to structure those applica...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...