Academic literature on the topic 'Complexité de circuits'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Complexité de circuits.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Complexité de circuits"

1

Poizat, Bruno. "A la recherche de la definition de la complexite d'espace pour le calcul des polynomes a la maniere de Valiant." Journal of Symbolic Logic 73, no. 4 (2008): 1179–201. http://dx.doi.org/10.2178/jsl/1230396913.

Full text
Abstract:
RésuméNous définissons une classe de suites de polynômes, calculés par des circuits de complexité polynomiale comprenant des additions, des soustractions. des multiplications et des sommations de Valiant. Nous montrons que cette classe est close pour la prise de la fonction-coefficient. définie au paragraphe 3 de cet article; nous en déduisons l'existence d'un circuit de complexité 72.n2, calculant le coefficient binomial de deux nombres de n chiffres, donnés en base 2. Il est par ailleurs facile de construire un circuit de complexité 17.n + 2 calculant la factorielle d'un nombre de n chiffres
APA, Harvard, Vancouver, ISO, and other styles
2

Raton, Gwenaëlle. "Les circuits courts alimentaires." Multitudes 92, no. 3 (2023): 79–85. http://dx.doi.org/10.3917/mult.092.0079.

Full text
Abstract:
Cet article illustre de façon concrète et détournée les relations villes-campagnes. Les circuits courts alimentaires sont considérés comme vertueux (réduction des intermédiaires et des distances, « locavorisme »), mais qu’en est-il vraiment de leur durabilité, compte-tenu de leur complexité logistique ? Pour le producteur, premier maillon de la chaîne, la commercialisation et le transport représentent travail et coûts supplémentaires. Les circuits courts ne sont pas moins énergivores : flux entre fermes et points de vente fragmentés en une multitude de petits volumes. L’auteur propose plusieur
APA, Harvard, Vancouver, ISO, and other styles
3

Berthoz, Alain, Jean-Pierre Benoit, and Alexandrine Saint-Cast. "Penser son corps : quand le cerveau simplifie la complexité." Enfances & Psy N° 97, no. 3 (2023): 15–28. http://dx.doi.org/10.3917/ep.097.0015.

Full text
Abstract:
Comment le corps est-il intégré ? Les travaux des neurosciences et de la neurophysiologie révèlent aujourd’hui les circuits cérébraux qui permettent de passer du corps à sa pensée. Ces phénomènes pluriels d’une grande complexité se réalisent grâce à la simplexité qui intègre aussi l’inhibition et l’oubli. L’unification corps-cerveau participe à l’identité. Elle s’inscrit dans l’intersubjectivité par empathie et sympathie. La recherche, différentes expériences neurophysiologiques, confirment ces descriptions et permettent de mieux comprendre les troubles psychomoteurs.
APA, Harvard, Vancouver, ISO, and other styles
4

Basso Fossali, Pierluigi. "La complexité régulatrice des discours programmateurs. Circuits sociaux de la modalisation et instances critiques." Langue française N°206, no. 2 (2020): 45. http://dx.doi.org/10.3917/lf.206.0045.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Clément, Camille. "Le lieu agricole périurbain : un analyseur de la complexité des constructions territoriales entre actions politiques, débats publics et pratiques spatiales." Nouvelles perspectives en sciences sociales 10, no. 1 (2015): 27–57. http://dx.doi.org/10.7202/1028436ar.

Full text
Abstract:
Cet article a pour objectif d’éclairer la complexité des constructions et appropriations territoriales à partir de l’étude croisée des actions politiques, débats publics et pratiques spatiales de la communauté de communes du Pays de Lunel (Languedoc). En cours de périurbanisation, ce territoire mise sur son ancrage agricole et rural pour se différencier des agglomérations en expansion de Montpellier et de Nîmes. C’est donc par la thématique agricole qu’une étude qualitative du SCOT (Schéma de Cohérence Territoriale), d’un projet de circuits courts et d’un pôle oenotouristique (actions politiqu
APA, Harvard, Vancouver, ISO, and other styles
6

Poizat, Bruno. "Une dualité entre fonctions booléennes." Journal of the Institute of Mathematics of Jussieu 9, no. 3 (2010): 633–52. http://dx.doi.org/10.1017/s1474748010000083.

Full text
Abstract:
RésuméSi k est un corps fini, toute fonction f(x1, … , xm) de {0, 1}m dans k s'écrit de manière unique comme un polynôme, à coefficients dans k, de degré un ou zéro en chacune de ses variables ; on peut donc lui associer une fonction f*(x1, … , xm), sa duale inverse, qui exprime les coefficients de son polynôme canonique. Nous considérons l'improbable hypothèse que la classe P(k), formée des suites de fonctions calculables en un nombre d'opérations (additions et multiplications) de croissance polynomialement bornée, soit close par dualité ; nous montrons qu'elle équivaut à une hypothèse bien c
APA, Harvard, Vancouver, ISO, and other styles
7

Coureau, Didier. "The Brain’s Cinematic Metaphors (Images of Thought, Thinking Forms)." IRIS, no. 36 (June 30, 2015): 85–101. http://dx.doi.org/10.35562/iris.1574.

Full text
Abstract:
Cet article s’inscrit dans le prolongement d’une recherche que je mène depuis une vingtaine d’années sur les rapports entre cinéma et pensée. En m’appuyant en particulier sur les réflexions de Gilles Deleuze, Félix Guattari, Edgar Morin, j’ai ainsi pu créer les concepts de « complexité esthétique », « noosphère filmique », « cinématographie des flux ». Suite à l’évocation de créateurs-penseurs du cinéma muet d’avant-garde (Epstein, Dulac, Artaud), sont ici abordés des films d’Amos Gitaï, Chris Marker, Jean-Luc Godard, Alain Resnais et Andreï Tarkovski. L’intitulé, « Les métaphores filmiques du
APA, Harvard, Vancouver, ISO, and other styles
8

Coureau, Didier. "The Brain’s Cinematic Metaphors (Images of Thought, Thinking Forms)." IRIS, no. 36 (June 30, 2015): 85–101. http://dx.doi.org/10.35562/iris.1574.

Full text
Abstract:
Cet article s’inscrit dans le prolongement d’une recherche que je mène depuis une vingtaine d’années sur les rapports entre cinéma et pensée. En m’appuyant en particulier sur les réflexions de Gilles Deleuze, Félix Guattari, Edgar Morin, j’ai ainsi pu créer les concepts de « complexité esthétique », « noosphère filmique », « cinématographie des flux ». Suite à l’évocation de créateurs-penseurs du cinéma muet d’avant-garde (Epstein, Dulac, Artaud), sont ici abordés des films d’Amos Gitaï, Chris Marker, Jean-Luc Godard, Alain Resnais et Andreï Tarkovski. L’intitulé, « Les métaphores filmiques du
APA, Harvard, Vancouver, ISO, and other styles
9

Hirata, Yuichi, Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima. "An efficient conversion of quantum circuits to a linear nearest neighbor architecture." Quantum Information and Computation 11, no. 1&2 (2011): 142–66. http://dx.doi.org/10.26421/qic11.1-2-10.

Full text
Abstract:
Several promising implementations of quantum computation rely on a Linear Nearest Neighbor (LNN) architecture, which arranges quantum bits on a line, and allows neighbor interactions only. Therefore, several specific circuits have been designed on an LNN architecture. However, a general and efficient conversion method for an arbitrary circuit has not been established. Therefore, this paper gives an efficient conversion technique to convert quantum circuits to an LNN architecture. When a quantum circuit is converted to an LNN architecture, the objective is to reduce the size of the additional c
APA, Harvard, Vancouver, ISO, and other styles
10

Uchizawa, Kei, Rodney Douglas, and Wolfgang Maass. "On the Computational Power of Threshold Circuits with Sparse Activity." Neural Computation 18, no. 12 (2006): 2994–3008. http://dx.doi.org/10.1162/neco.2006.18.12.2994.

Full text
Abstract:
Circuits composed of threshold gates (McCulloch-Pitts neurons, or perceptrons) are simplified models of neural circuits with the advantage that they are theoretically more tractable than their biological counterparts. However, when such threshold circuits are designed to perform a specific computational task, they usually differ in one important respect from computations in the brain: they require very high activity. On average every second threshold gate fires (sets a 1 as output) during a computation. By contrast, the activity of neurons in the brain is much sparser, with only about 1% of ne
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Complexité de circuits"

1

Revol, Nathalie. "Complexité de l'évaluation parallèle de circuits arithmétiques." Grenoble INPG, 1994. http://tel.archives-ouvertes.fr/tel-00005109.

Full text
Abstract:
Les algorithmes d'évaluation parallèle des expressions et des circuits arithmétiques peuvent être vus comme des extracteurs du parallélisme intrinsèque contenu dans les programmes séquentiels, parallélisme qui dépasse celui qui peut être lu sur le graphe de précédence et qui tient à la sémantique des opérateurs utilisés. La connaissance des propriétés algébriques, comme l'associativité ou la distributivité, permet une réorganisation des calculs qui n'affecte pas les résultats. Plus la structure algébrique utilisée sera riche en propriétés simples, plus il sera possible d'en tirer parti pour am
APA, Harvard, Vancouver, ISO, and other styles
2

Tavenas, Sébastien. "Bornes inférieures et supérieures dans les circuits arithmétiques." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2014. http://tel.archives-ouvertes.fr/tel-01066752.

Full text
Abstract:
La complexité arithmétique est l'étude des ressources nécessaires pour calcu- ler des polynômes en n'utilisant que des opérations arithmétiques. À la fin des années 70, Valiant a défini (de manière semblable à la complexité booléenne) des classes de polynômes. Les polynômes, ayant des circuits de taille polyno- miale, considérés faciles forment la classe VP. Les sommes exponentielles de ces derniers correpondent alors à la classe VNP. L'hypothèse de Valiant est la conjecture que VP ̸= VNP.Bien que cette conjecture soit encore grandement ouverture, cette dernière semble toutefois plus accessibl
APA, Harvard, Vancouver, ISO, and other styles
3

Aubert, Clément. "Logique linéaire et classes de complexité sous-polynominales." Paris 13, 2013. https://theses.hal.science/tel-00957653.

Full text
Abstract:
This research in Theoretical Computer Science extends the gateways between Linear Logic and Complexity Theory by introducing two innovative models of computation. It focuses on sub-polynomial classes of complexity : AC and NC —the classes of efficiently parallelizable problems— and L and NL —the deterministic and non-deterministic classes of problems efficiently solvable with low resources on space. Linear Logic is used through its Proof Net resentation to mimic with efficiency the parallel computation of Boolean Circuits, including but not restricted to their constant-depth variants. In a sec
APA, Harvard, Vancouver, ISO, and other styles
4

Duvillié, Guillerme. "Approximation, complexité paramétrée et stratégies de résolution de problèmes d'affectation multidimensionnelle." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT321/document.

Full text
Abstract:
Au cours de la thèse, nous nous sommes intéressés aux problèmes d'empilement de wafers. Ces problèmes apparaissent lors de la fabrication de processeurs en 3 dimensions. Au cours du processus de fabrication, les puces électroniques doivent être empilées les unes sur les autres. Jusqu'à peu, ces dernières, une fois gravées sur des plaques de silicium appelées wafers, étaient découpées, puis triées afin d'écarter les puces défectueuses et enfin assemblées les unes entre elles.Cependant empiler les wafers plutôt que les puces présente de nombreux avantages techniques et financiers. Naturellement,
APA, Harvard, Vancouver, ISO, and other styles
5

Diguet, Jean-Philippe. "Estimation de complexité et transformations d'algorithmes de traitement du signal pour la conception de circuits VLSI." Rennes 1, 1996. http://www.theses.fr/1996REN10118.

Full text
Abstract:
Le cadre de la these est celui de la synthese d'architectures, ce dernier regroupe l'ensemble des techniques mises en uvre pour concevoir de maniere automatique et optimisee des circuits realisant des applications decrites simplement de maniere comportementale. Dans ce domaine est aborde specifiquement le probleme de l'estimation a priori du cout d'une architecture, sous contrainte de temps d'iteration. Deux methodes nouvelles sont presentees, chacune repondant a un objectif different. La premiere est une estimation probabiliste et dynamique, elle fournit au concepteur des metriques lui permet
APA, Harvard, Vancouver, ISO, and other styles
6

Lagarde, Guillaume. "Contributions to arithmetic complexity and compression." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC192/document.

Full text
Abstract:
Cette thèse explore deux territoires distincts de l’informatique fondamentale : la complexité et la compression. Plus précisément, dans une première partie, nous étudions la puissance des circuits arithmétiques non commutatifs, qui calculent des polynômes non commutatifs en plusieurs indéterminées. Pour cela, nous introduisons plusieurs modèles de calcul, restreints dans leur manière de calculer les monômes. Ces modèles en généralisent d’autres, plus anciens et largement étudiés, comme les programmes à branchements. Les résultats sont de trois sortes. Premièrement, nous donnons des bornes infé
APA, Harvard, Vancouver, ISO, and other styles
7

Paperman, Charles. "Circuits booléens, prédicats modulaires et langages réguliers." Paris 7, 2014. http://www.theses.fr/2014PA077258.

Full text
Abstract:
La conjecture de Straubing, énoncée dans son livre publié en 1994, suggère qu'un langage régulier définissable par un fragment logique équipé d'une signature arbitraire, est définissable par le même fragment logique mais équipé d'une signature régulière. Les fragments logiques considérés sont des classes de férmules de la logique monadique du second ordre sur les mots finis. Cette thèse est une contribution à l'étude de le conjecture de Straubing. Pour prouver une telle conjecture, il semble nécessaire pour établir cette conjecture de prouver deux résultats de natures différentes : 1. Des cara
APA, Harvard, Vancouver, ISO, and other styles
8

Boumedine, Marc. "Contribution à l'étude et au développement de techniques d'analyse de testabilité de descriptions comportementales de circuits." Montpellier 2, 1991. http://www.theses.fr/1991MON20240.

Full text
Abstract:
Ce memoire concerne l'etude et le developpement de techniques d'analyse de testabilite de descriptions comportementales de circuits. Ces techniques ont pour objectif de reduire le cout du processus de generation de sequences de test comportemental. Ce cout etant directement lie a la complexite des descriptions comportementales et a la complexite de la strategie de generation des sequences de test comportemental, les techniques presentees ont ete adaptees des domaines du test du logiciel et du test du materiel. Elles ont ete developpees au sein d'un environnement de testabilite comportementale
APA, Harvard, Vancouver, ISO, and other styles
9

Meunier, Pierre-etienne. "Les automates cellulaires en tant que modèle de complexités parallèles." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00770175.

Full text
Abstract:
The intended goal of this manuscript is to build bridges between two definitions of complexity. One of them, called the algorithmic complexity is well-known to any computer scientist as the difficulty of performing some task such as sorting or optimizing the outcome of some system. The other one, etymologically closer from the word "complexity" is about what happens when many parts of a system are interacting together. Just as cells in a living body, producers and consumers in some non-planned economies or mathematicians exchanging ideas to prove theorems. On the algorithmic side, the main obj
APA, Harvard, Vancouver, ISO, and other styles
10

Aubert, Clément. "Logique linéaire et classes de complexité sous-polynomiales." Phd thesis, Université Paris-Nord - Paris XIII, 2013. http://tel.archives-ouvertes.fr/tel-00957653.

Full text
Abstract:
Cette recherche en informatique théorique construit de nouveaux ponts entre logique linéaire et théorie de la complexité. Elle propose deux modèles de machines abstraites qui permettent de capturer de nouvelles classes de complexité avec la logique linéaire, les classes des problèmes efficacement parallélisables (NC et AC) et celle des problèmes solutionnables avec peu d'espace, dans ses versions déterministes et non-déterministes (L et NL). La représentation des preuves de la logique linéaire comme réseaux de preuves est employée pour représenter efficacement le calcul parallèle des circuits
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Complexité de circuits"

1

Jukna, Stasys. Tropical Circuit Complexity. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-42354-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Vollmer, Heribert. Introduction to Circuit Complexity. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-662-03927-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Håstad, Johan. Computational limitations of small-depth circuits. MIT Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Vollmer, Heribert. Introduction to Circuit Complexity: A Uniform Approach. Springer Berlin Heidelberg, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Straubing, Howard. Finite Automata, Formal Logic, and Circuit Complexity. Birkhäuser Boston, 1994. http://dx.doi.org/10.1007/978-1-4612-0289-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Straubing, Howard. Finite automata, formal logic, and circuit complexity. Birkhäuser, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Subramanian, Ashok. The computational complexity of the circuit value and network stability problems. Dept. of Computer Science, Stanford University, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sridharan, K., B. Srinivasu, and Vikramkumar Pudi. Low-Complexity Arithmetic Circuit Design in Carbon Nanotube Field Effect Transistor Technology. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-50699-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

IEEE, Conference on Computational Complexity (11th 1996 Philadelphia Penn ). Proceedings, Eleventh Annual IEEE Conference on Computational Complexity: May 24-27, 1996, Philadelphia, Pennsylvania. IEEE Computer Society Press, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Myasnikov, Alexei G. Non-commutative cryptography and complexity of group-theoretic problems. American Mathematical Society, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Complexité de circuits"

1

Straubing, Howard. "Circuit Complexity." In Finite Automata, Formal Logic, and Circuit Complexity. Birkhäuser Boston, 1994. http://dx.doi.org/10.1007/978-1-4612-0289-9_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chen, Yu-Fang, Philipp Rümmer, and Wei-Lun Tsai. "A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)." In Automated Deduction – CADE 29. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_10.

Full text
Abstract:
AbstractWe present a theory of Cartesian arrays, which are multi-dimensional arrays with support for the projection of arrays to sub-arrays, as well as for updating sub-arrays. The resulting logic is an extension of Combinatorial Array Logic (CAL) and is motivated by the analysis of quantum circuits: using projection, we can succinctly encode the semantics of quantum gates as quantifier-free formulas and verify the end-to-end correctness of quantum circuits. Since the logic is expressive enough to represent quantum circuits succinctly, it necessarily has a high complexity; as we show, it suffices to encode the k-color problem of a graph under a succinct circuit representation, an NEXPTIME-complete problem. We present an NEXPTIME decision procedure for the logic and report on preliminary experiments with the analysis of quantum circuits using this decision procedure.
APA, Harvard, Vancouver, ISO, and other styles
3

Brzozowski, Janusz A., and Carl-Johan H. Seger. "Complexity of Race Analysis." In Asynchronous Circuits. Springer New York, 1995. http://dx.doi.org/10.1007/978-1-4612-4210-9_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chen, Yanbin, and Yannick Stade. "Quantum Constant Propagation." In Static Analysis. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-44245-2_9.

Full text
Abstract:
AbstractA quantum circuit is often executed on the initial state where each qubit is in the zero state. Therefore, we propose to perform a symbolic execution of the circuit. Our approach simulates groups of entangled qubits exactly up to a given complexity. Here, the complexity corresponds to the number of basis states expressing the quantum state of one entanglement group. By doing that, the groups need neither be determined upfront nor be bound by the number of involved qubits. Still, we ensure that the simulation runs in polynomial time - opposed to exponential time as required for the simulation of the entire circuit. The information made available at gates is exploited to remove superfluous controls and gates. We implemented our approach in the tool quantum constant propagation (QCP) and evaluated it on the circuits in the benchmark suite MQTBench. By applying our tool, only the work that cannot be carried out efficiently on a classical computer is left for the quantum computer, hence exploiting the strengths of both worlds.
APA, Harvard, Vancouver, ISO, and other styles
5

Paterson, Mike. "Boolean circuit complexity." In Algorithms and Computation. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56279-6_71.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pudlák, P. "AC0 circuit complexity." In Fundamentals of Computation Theory. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57163-9_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Balcázar, José Luis, Josep Díaz, and Joaquim Gabarró. "Uniform Circuit Complexity." In Structural Complexity II. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-75357-2_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Vourkas, Ioannis, and Georgios Ch Sirakoulis. "Memristor-Based Logic Circuits." In Emergence, Complexity and Computation. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22647-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Raz, Ran. "Circuit and Communication Complexity." In Computational Complexity Theory. American Mathematical Society, 2004. http://dx.doi.org/10.1090/pcms/010/06.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Roberts, Nic, and Andrew Adamatzky. "Mining Logical Circuits in Fungi." In Emergence, Complexity and Computation. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38336-6_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Complexité de circuits"

1

Concas, Roberto, Riccardo Meucci, Alessio Montori, Alessio Perinelli, and Leonardo Ricci. "Electronic circuits for chaos and synchronization in laser physics." In 2024 IEEE Workshop on Complexity in Engineering (COMPENG). IEEE, 2024. http://dx.doi.org/10.1109/compeng60905.2024.10741481.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Valdmanis, J. A. "Progress in electrooptic sampling of highspeed devices and integrated circuits." In OSA Annual Meeting. Optica Publishing Group, 1988. http://dx.doi.org/10.1364/oam.1988.tue2.

Full text
Abstract:
The rapidly increasing speed and complexity of current and future electronic circuitry has in many cases exceeded the capabilities of conventional all-electronic testing techniques. The need for high-speed noninvasive testing of integrated circuits is on us. By turning to optically based techniques, we can exploit the availability of picosecond and subpicosecond laser pulses to make electrical measurements. This paper reviews the latest refinements and applications of the electrooptic sampling technique, which utilizes optical pulses directly as sampling gates in electrooptic materials. It is
APA, Harvard, Vancouver, ISO, and other styles
3

He, Qing, Duo Chen, and Dan Jiao. "A First-Principle Guided Circuit Simulator of Linear Complexity and its Linear Speedup for Die-Package Co-Design." In ASME 2011 Pacific Rim Technical Conference and Exhibition on Packaging and Integration of Electronic and Photonic Systems. ASMEDC, 2011. http://dx.doi.org/10.1115/ipack2011-52276.

Full text
Abstract:
In this work, guided by electromagnetics-based first principles, we develop a circuit simulator that allows for the simulation of a circuit including both nonlinear devices and the linear network in linear complexity. Moreover, it permits an almost embarrassingly parallel implementation on a many-core computing platform, and hence achieving linear speedup. The proposed circuit simulator rigorously captures the coupling between nonlinear circuits and the linear network. In addition, it bypasses the step of extraction, producing an RLC (resistor-inductor-capacitor) representation of the linear n
APA, Harvard, Vancouver, ISO, and other styles
4

Brown, J. J., J. T. Gardner, and S. R. Forrest. "Optically powered monolithically integrated logic circuits." In Integrated Photonics Research. Optica Publishing Group, 1991. http://dx.doi.org/10.1364/ipr.1991.tuc5.

Full text
Abstract:
Optical powering of optoelectron integrated circuits (OEICs) significantly improves their performance in high density photonic systems as compared to conventional designs employing electrical powering of circuits.1 Here optical powering replaces the dc bias lines with integrated photovoltaic (PV) cells in each pixel. The PV cell is illuminated with an external light source (e.g. laser) and converts this optical power beam into electrical power which subsequently drives the circuitry within that pixel. The total absence of the parasitic capacitances and inductances in the optical beam reduces i
APA, Harvard, Vancouver, ISO, and other styles
5

Gaber, Lamya, Aziza I. Hussein, and Mohammed Moness. "Incremental Automatic Correction for Digital VLSI Circuits." In 10th International Conference on Advances in Computing and Information Technology (ACITY 2020). AIRCC Publishing Corporation, 2020. http://dx.doi.org/10.5121/csit.2020.101508.

Full text
Abstract:
The impact of the recent exponential increase in complexity of digital VLSI circuits has heavily affected verification methodologies. Many advances toward verification and debugging techniques of digital VLSI circuits have relied on Computer Aided Design (CAD). Existing techniques are highly dependent on specialized test patterns with specific numbers increased by the rising complexity of VLSI circuits. A second problem arises in the form of large sizes of injecting circuits for correction and large number of SAT solver calls with a negative impact on the resultant running time. Three goals ar
APA, Harvard, Vancouver, ISO, and other styles
6

Williams, Ryan. "Algorithms for Circuits and Circuits for Algorithms." In 2014 IEEE Conference on Computational Complexity (CCC). IEEE, 2014. http://dx.doi.org/10.1109/ccc.2014.33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Daems, Walter, Georges Gielen, and Willy Sansen. "Circuit complexity reduction for symbolic analysis of analog integrated circuits." In the 36th ACM/IEEE conference. ACM Press, 1999. http://dx.doi.org/10.1145/309847.310106.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Seo, Kuhn, Brent Wahl, Myrna Mayonte, and Young Gon Kim. "Methodologies for Isolating Faults in Multi Chip Fiber Optic Transceivers That Use GHz Mixed Signal ICs." In ISTFA 2002. ASM International, 2002. http://dx.doi.org/10.31399/asm.cp.istfa2002p0251.

Full text
Abstract:
Abstract This paper outlines a methodology which accurately identifies fault locations in Mixed Signal Integrated Circuits (ICs). The architecture of Mixed Signal ICs demands more attention during failure analysis because of the complexity of measuring both the analog and digital signals in a compact circuit. In this paper, the GHz range of data signal or radio frequency (RF) signal from an internal IC circuit will be extracted by a high-impedance active single probe in order to find the internal IC circuit failure locations. The advantages of using a single probe is that it can maneuver to ex
APA, Harvard, Vancouver, ISO, and other styles
9

Kombarov, Yury Anatolievich. "Improvement of circuit complexity lower bound for parity function in one infinite basis." In Academician O.B. Lupanov 14th International Scientific Seminar "Discrete Mathematics and Its Applications". Keldysh Institute of Applied Mathematics, 2022. http://dx.doi.org/10.20948/dms-2022-14.

Full text
Abstract:
We consider circuits of functional elements in a basis of generalized conjunctors (that is, conjunctors with an arbitrary number of inputs, any input of which can be inverted). It is proved that any circuit that implements a linear Boolean function of n variables consists of at least 2.125n + С elements.
APA, Harvard, Vancouver, ISO, and other styles
10

Lall, Pradeep, Jinesh Narangaparambil, and Scott Miller. "Development of Multi-Layer Circuitry Using Electrically Conductive Adhesive and Low-Temperature Solder Material for Surface-Mount Component Attachment." In ASME 2021 International Technical Conference and Exhibition on Packaging and Integration of Electronic and Photonic Microsystems. American Society of Mechanical Engineers, 2021. http://dx.doi.org/10.1115/ipack2021-74086.

Full text
Abstract:
Abstract The increased versatility in the design and manufacturing of components in low volumes, as well as the shorter time between design and prototype, has increased interest in the field of additively printed electronics. The ability to directly print on a variety of substrates, whether rigid, flexible, or conformable, provides several benefits over conventional electronics fabrication methods. Furthermore, the growing complexity of flexible electronics necessitates the development of multilayered circuits similar to traditional PCBs to decrease the volumetric and gravimetric effect of the
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Complexité de circuits"

1

Schueller, Kriss A., and Jon T. Butler. Complexity Analysis of the Cost-Table Approach to the Design of Multiple-Valued Logic Circuits. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada605390.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cao, Zhengjun, Lihua Liu, and Andreas Christoforides. A Note on One Realization of a Scalable Shor Algorithm. Web of Open Science, 2020. http://dx.doi.org/10.37686/qrl.v1i2.81.

Full text
Abstract:
Very recently, Monz, et al. have reported the demonstration of factoring 15 using a scalable Shor algorithm with an ion-trap quantum computer. In this note, we remark that the report is somewhat misleading because there are three flaws in the proposed circuit diagram of Shor algorithm. We also remark that the principles behind the demonstration have not been explained properly, including its correctness and complexity.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!