Sciweavers

1818 search results - page 204 / 364
» Operant conditioning
Sort
View
ISQED
2010
IEEE
127views Hardware» more  ISQED 2010»
13 years 8 months ago
Limits of bias based assist methods in nano-scale 6T SRAM
Reduced device dimensions and operating voltages that accompany technology scaling have led to increased design challenges with each successive technology node. Large scale 6T SRA...
Randy W. Mann, Satyanand Nalam, Jiajing Wang, Bent...
LATA
2010
Springer
13 years 8 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
MP
2010
103views more  MP 2010»
13 years 8 months ago
Relations between facets of low- and high-dimensional group problems
In this paper, we introduce an operation that creates families of facet-defining inequalities for highdimensional infinite group problems using facet-defining inequalities of l...
Santanu S. Dey, Jean-Philippe P. Richard
WINET
2010
121views more  WINET 2010»
13 years 8 months ago
Transmission algorithm for video streaming over cellular networks
2.5G and 3G cellular networks are becoming more and more widespread. Therefore, the need for value added services is increasing rapidly. One of the key services that operators see...
Y. Falik, A. Averbuch, U. Yechiali
CSE
2009
IEEE
13 years 8 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...