Searching for "Formal Models and Computability." – sorted by Relevance.
247 documents found, showing 1 through 10.
Next 10 →
-
Formal models for computer security
- …Formal Models for Computer Security CARL E. LANDWEHR Code 7593, Naval Research Laboratory…
- Cited by 117 (2 self) – Add To MetaCart
-
Neural Networks, Automata, and Formal Models of Computation
- …, and formal models of computation Mikel L. Forcada mlf@(email omitted); Departament de Llenguatges i Sistemes…
- Add To MetaCart
-
Towards Two-Level Formal Modeling of Computer-Based Systems
- …Towards Two-Level Formal Modeling of Computer-Based Systems Gabor Karsai (Vanderbilt University…
- Cited by 1 (0 self) – Add To MetaCart
-
Full Screen
- …, which are another formal model of computation; and • To show that Turing machines and Counter Programs…
- Add To MetaCart
-
On the Necessity of Formal Models for Real-Time Parallel Computations
- …On the Necessity of Formal Models for Real-Time Parallel Computations Stefan D. Bruda and Selim G…
- Cited by 11 (9 self) – Add To MetaCart
-
On computation with pulses
- … power of formal models for computation with pulses. Such models are motivated by realistic models…
- Cited by 13 (0 self) – Add To MetaCart
-
A Model of Computation for Continuous--Time DS Modulators
- … it for the DT case. A model of computation is a formal, abstract definition of a system. It describes how…
- Add To MetaCart
-
Data Structure Management in a Data Flow Computer System
- … on successive refinement of formal models of the computer. A formal model L1 of the abstract architecture…
- Add To MetaCart
-
Reconfigurable SoC Design with Hierarchical FSM and Synchronous Dataflow Model
- …. As a model of computation in system representation, we use a popular formal model of computation…
- Add To MetaCart
-
Formal modeling of DS Modulators
- …@(email omitted);,gielen@(email omitted); Abstract— In this work, a formal model of computation has been developed for ΔΣ A/D-converters. Its main…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
