2805 search results - page 113 / 561 » Modeling Memory for Melodies |
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Given an AWGN channel, we look at the problem of designing a source controlled binary antipodal signaling system for transmitting blocks of binary symbols generated either by a...
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
PADS
2003
ACM
15 years 3 months ago
2003
ACM
The simulation of large–scale multicast networks often requires a significant amount of memory that can easily exceed the capacity of current computers, both because of the inh...
EP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...