Search results

...Average Memory Access Time''' ('''AMAT''') is a common metric to analyze [[computer memory]] system performance. ...-AMAT (C-AMAT), is introduced for more accurate analysis of current memory systems. More information on C-AMAT can be found in the external links section. ...

...ctured transition systems (WSTSs)''' are a general class of infinite state systems for which many verification problems are [[decidable language|decidable]], ...lization of the Procedure of Karp and Miller to Well Structured Transition Systems". ...

...s/Liu-FSM-2013-11/Liu-FSM-2013-11.pdf|title=Fast Simulation of Mass-Spring Systems}}</ref> ...e web |title=Introduction to Vibrations, Free Response Part 2: Spring-Mass Systems with Damping |url=https://www.maplesoft.com/content/EngineeringFundamentals ...

In [[computer algebra]], a '''regular semi-algebraic system''' is a particular kind of tr ...a regular chain focusing on solutions of the real analogue: semi-algebraic systems. ...

...| date=2021 | conference=2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) | arxiv=2104.12695}}</ref> [[Category:Concurrency (computer science)]] ...

In [[computer science]] and [[computer engineering|engineering]], a '''test vector''' is a set of inputs provided ...is the output of the system and <math>x</math> is the input; however, most systems' inputs are not one-dimensional. When the inputs are multi-dimensional, we ...

...ly two different [[variable (logics)|variable]]s.<ref>L. Henkin. ''Logical systems containing only a finite number of symbols'', Report, Department of Mathema ...inite satisfiability (logics)|finite satisfiability]], are [[decidability (computer science)|decidable]].<ref>E. Grädel, P.G. Kolaitis and M. Vardi, ''On the D ...

...rically. This enables real-world systems to be simulated and tested with a computer.<ref>{{Cite web|url=http://sim.sagepub.com/content/26/2/57.short|title=Impl ...g structure without risk or construction cost. Modern uses include weather systems analysis and the effect on our planet Earth due to global warming. CSMP and ...

...ual [[String (computer science)|strings]] devised by [[Charles H. Bennett (computer scientist)|Charles H. Bennett]] based on the [[Analysis of algorithms|compu ...url=https://doi.org/10.1007/s00224-016-9672-6 |journal=Theory of Computing Systems |language=en |volume=60 |issue=2 |pages=280–298 |doi=10.1007/s00224-016-967 ...

...) [https://arxiv.org/abs/physics/0610233 "Burstiness and Memory in Complex Systems"], ''Physics Data''.</ref> Distributions of bursty processes or events are ...al. (2013). "[http://www.cs.rpi.edu/research/pdf/12-03.pdf An Evolution of Computer Science Research]", ''Communications of the ACM'', 56(10):79 </ref> ...

...he 7th IEEE Computer Security Foundations Workshop'', pages 131􏰀–136. IEEE Computer Society Press, 1994.</ref> ...df A Logic of Authentication], Research Report 39, Digital Equipment Corp. Systems Research Center, Feb. 1989 ...

{{Short description|Computer algebra system}} '''SymbolicC++''' is a general purpose [[computer algebra system]] written in the programming language [[C++]]. It is [[free ...

{{Short description|Field of theoretical computer science}} ...hd1.html | author=Judit Csima | title=Investigations on Simple Eco-Grammar Systems | institution=[[Eötvös Loránd University]] | year=2002 }}</ref> ...

In [[computer science]], especially [[model checking]] and [[abstract interpretation]], ' While many computer programs can be understood in terms of machine states and transitions (see ...

{{Feature detection (computer vision) navbox}} ...ation Systems Design and Intelligent Applications. Advances in Intelligent Systems and Computing, vol 340. Springer, New Delhi</ref> each will extract the edg ...

The initial requirement began with military combat systems during World War I. The approach used for survivability was to install thic ...unaffordable and impractical during the Cold War when aircraft and missile systems became common. ...

== Quorum-based techniques in distributed database systems == Quorum-based voting can be used as a [[Replication (computer science)#Database replication|replica]] control method,<ref name="ozsu"> ...

...ages=140–155}}</ref> It is used to model interactions in such [[concurrent systems]] as the [[Internet]]. * a single data object (bounded by “[[this (computer science)|self]]”) ...

...om/pdf/Hoare_hist.pdf | author=C.A.R. Hoare | title=An Axiomatic Basis for Computer Programming | journal=Communications of the ACM | volume=12 | number=10 | p Various subfields of computer science use varying, but mathematically precise, definitions of what it mea ...

...t of termination of programs or [[abstract rewriting system|term rewriting systems]]. ...olloquium on Automata, Languages and Programming'', Graz, Lecture Notes in Computer Science 71, Springer-Verlag, pp.&nbsp;188–202 [July 1979].) ...