Sciweavers

675 search results - page 60 / 135
» Using Fairness to Make Abstractions Work
Sort
View
116
Voted
CDC
2010
IEEE
137views Control Systems» more  CDC 2010»
14 years 10 months ago
Left invertibility of output-quantized systems: An application to cryptography
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...
Nevio Dubbini, Anna Carluccio, Antonio Bicchi
159
Voted
ASPLOS
2004
ACM
15 years 9 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
P2P
2009
IEEE
120views Communications» more  P2P 2009»
15 years 10 months ago
A Flexible Divide-And-Conquer Protocol for Multi-View Peer-to-Peer Live Streaming
Abstract—Multi-view peer-to-peer (P2P) live streaming systems have recently emerged, where a user can simultaneously watch multiple channels. Previous work on multi-view P2P stre...
Miao Wang, Lisong Xu, Byrav Ramamurthy
DAC
2000
ACM
16 years 4 months ago
Unifying behavioral synthesis and physical design
eously demand shorter and less costly design cycles. Designing at higher levels of abstraction makes both objectives achievable, but enabling techniques like behavioral synthesis h...
William E. Dougherty, Donald E. Thomas
118
Voted
DAWAK
2007
Springer
15 years 10 months ago
Domination Mining and Querying
Abstract. Pareto dominance plays an important role in diverse application domains such as economics and e-commerce, and it is widely being used in multicriteria decision making. In...
Apostolos N. Papadopoulos, Apostolos Lyritsis, Ale...