Sciweavers

2949 search results - page 336 / 590
» Universal Sparse Modeling
Sort
View
TWC
2008
176views more  TWC 2008»
15 years 20 days ago
Key Management for UMTS MBMS
3GPP 33.246 proposes Key Management Mechanism (KMM) to distribute security keys for Universal Mobile Telecommunications System (UMTS) Multimedia Broadcast and Multicast Service (MB...
Shin-Ming Cheng, Wei-Ru Lai, Phone Lin, Kwang-Chen...
120
Voted
COMPUTER
2002
129views more  COMPUTER 2002»
15 years 18 days ago
Networks on Chips: A New SoC Paradigm
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
Luca Benini, Giovanni De Micheli
CISIS
2009
IEEE
14 years 10 months ago
The Health-e-Waterways Project - Data Integration for Smarter, Collaborative, Whole-of-Water Cycle Management
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
Abdulmonem Alabri, Jane Hunter, Catharine van Inge...
135
Voted
LPAR
2012
Springer
13 years 8 months ago
Lazy Abstraction with Interpolants for Arrays
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
Francesco Alberti, Roberto Bruttomesso, Silvio Ghi...
99
Voted
STOC
1998
ACM
112views Algorithms» more  STOC 1998»
15 years 5 months ago
Quantum Circuits with Mixed States
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...
Dorit Aharonov, Alexei Kitaev, Noam Nisan