322 search results - page 28 / 65 » Expressive power and abstraction in Essence |
TWC
2008
14 years 11 months ago
2008
Abstract--The closed-form exact bit error rate (BER) expressions of generalized orthogonal space-time block codes (OSTBCs) are first derived for quadrature amplitude modulation (QA...
112
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
106
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
INTETAIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Interactive multi-touch tables can be a powerful means of communication for collaborative work as well as an engaging environment for competition. Through enticing gamepl...
106
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...