Sciweavers

50808 search results - page 372 / 10162
» A New
Sort
View
85
Voted
ASE
2005
91views more  ASE 2005»
15 years 22 days ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
TCS
2008
15 years 21 days ago
New constructions for provably-secure time-bound hierarchical key assignment schemes
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masu...
JACM
2007
79views more  JACM 2007»
15 years 21 days ago
A new look at survey propagation and its generalizations
This article provides a new conceptual perspective on survey propagation, which is an iterative algorithm recently introduced by the statistical physics community that is very effe...
Elitza N. Maneva, Elchanan Mossel, Martin J. Wainw...
115
Voted
TMC
2008
161views more  TMC 2008»
15 years 21 days ago
A New MAC Scheme Supporting Voice/Data Traffic in Wireless Ad Hoc Networks
Abstract--In wireless ad hoc networks, in addition to the well-known hidden terminal and exposed terminal problems, the locationdependent contention may cause serious unfairness an...
Ping Wang, Hai Jiang, Weihua Zhuang
101
Voted
JCC
2007
151views more  JCC 2007»
15 years 21 days ago
New parallel algorithm for MP2 energy gradient calculations
Abstract: A new parallel algorithm has been developed for calculating the analytic energy derivatives of full accuracy second order Møller-Plesset perturbation theory (MP2). Its m...
Kazuya Ishimura, Peter Pulay, Shigeru Nagase
« Prev « First page 372 / 10162 Last » Next »