Sciweavers

505 search results - page 43 / 101
» Implementation of Belief Change Operators Using BDDs
Sort
View
SIGCOMM
2003
ACM
15 years 2 months ago
Scaling internet routers using optics
Routers built around a single-stage crossbar and a centralized scheduler do not scale, and (in practice) do not provide the throughput guarantees that network operators need to ma...
Isaac Keslassy, Shang-Tse Chuang, Kyoungsik Yu, Da...
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
14 years 8 months ago
A robotic module for stochastic fluidic assembly of 3D self-reconfiguring structures
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...
Jonas Neubert, Abraham P. Cantwell, Stephane Const...
CSFW
2012
IEEE
13 years 3 days ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
61
Voted
CATS
2008
14 years 11 months ago
Generating Balanced Parentheses and Binary Trees by Prefix Shifts
We show that the set Bn of balanced parenthesis strings with n left and n right parentheses can be generated by prefix shifts. If b1, b2, . . . , b2n is a member of Bn, then the k...
Frank Ruskey, Aaron Williams
65
Voted
ISCAS
2002
IEEE
91views Hardware» more  ISCAS 2002»
15 years 2 months ago
Charge-based MOS correlated double sampling comparator and folding circuit
A novel charge-based comparator and folding circuit are presented. Correlated double sampling comparison is performed using a log-domain integrator, implemented by a subthreshold ...
Roman Genov, Gert Cauwenberghs