Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
logic simulation (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(1/159)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Logic simulation and fault collapsing with shared structurally synthesized BDDs
Mironov, Dmitri
;
Ubar, Raimund-Johannes
;
Raik, Jaan
2014 19th IEEE European Test Symposium (ETS) : May 26th-30th, 2014, Paderborn, Germany : proceedings
2014
/
[2] p. : ill
artikkel kogumikus
2
artikkel ajakirjas
Modeling and simulation of circuits with shared structurally synthesized BDDs
Ubar, Raimund-Johannes
;
Jürimägi, Lembit
;
Raik, Jaan
;
Viies, Vladimir
Microprocessors and microsystems
2017
/
p. 56-61 : ill
http://dx.doi.org/10.1016/j.micpro.2016.09.006
artikkel ajakirjas
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
159
1.
logic simulation
2.
logic models and simulation
3.
logic and philosophy of logic
4.
algebra of logic
5.
binary logic controller
6.
Boolean logic
7.
default logic
8.
diagrammatic logic
9.
digital logic
10.
dynamic logic
11.
epistemic logic
12.
formal logic
13.
fuzzy logic
14.
fuzzy logic
15.
fuzzy logic control
16.
fuzzy logic controller
17.
fuzzy logic controller (FLC)
18.
fuzzy logic model
19.
graphical method of logic
20.
history of logic
21.
Hoare logic
22.
Husserl and Pierce on logic of probability
23.
independence-friendly logic
24.
intuitionistic logic
25.
linear logic
26.
logic
27.
logic built-in self-test
28.
logic circuit
29.
logic design
30.
logic diagram
31.
logic diagrams
32.
logic education
33.
logic for pragmatics
34.
logic gates
35.
logic in computer science
36.
logic in society
37.
logic level
38.
logic level and high level BDDs
39.
logic locking
40.
logic models
41.
logic notation
42.
logic obfuscation
43.
logic of bunched implications
44.
logic of relatives
45.
logic of speech acts
46.
logic synthesis
47.
logic teaching
48.
logic-based distributed routing
49.
malicious logic
50.
mathematical logic
51.
modal logic
52.
Natural logic
53.
Peirce's existential graphs and transcendental logic
54.
philosophical logic
55.
philosophy of logic
56.
pragmatic logic
57.
programmable logic
58.
quantitative logic
59.
quantum logic
60.
race logic
61.
reconfigurable logic
62.
routing logic
63.
S4 modal logic
64.
S-D logic
65.
Service-Dominant logic
66.
stateful logic computation
67.
symbolic knowledge in Husserlian pure logic
68.
symbolic logic
69.
temporal logic
70.
back traced simulation
71.
building energy simulation
72.
building simulation
73.
casting simulation
74.
CFD simulation
75.
circuit simulation
76.
CoCoViLa simulation environment
77.
computer simulation
78.
computer simulation environments
79.
cooling simulation
80.
co-simulation
81.
data simulation
82.
digital real time simulation
83.
dynamic simulation
84.
electric field simulation
85.
emergency simulation
86.
energy simulation
87.
energy simulation software
88.
environmental performance assessment and simulation
89.
Fault Injection Simulation
90.
fault simulation
91.
fault simulation with critical path tracing
92.
finite element method (FEM) simulation
93.
finite element simulation
94.
fluid flow simulation
95.
FMS modelling and simulation
96.
fullscale simulation
97.
gait simulation
98.
hardware-in-the loop simulation
99.
Hardware-in-the-Loop simulation
100.
high-level fault simulation
101.
hot/cold pressing and finite element model simulation
102.
hygrothermal simulation
103.
impact-abrasive simulation
104.
intelligent simulation
105.
intelligent simulation environment
106.
LES (large eddy simulation) method
107.
magnetics field simulation
108.
Mathematical simulation
109.
MATLAB simulation
110.
medical simulation
111.
meso-scale simulation
112.
MICA2 simulation
113.
modeling and simulation
114.
modelling and simulation
115.
Monte Carlo simulation
116.
Monte Carlo simulation (MCS)
117.
multi agent simulation
118.
multiscale simulation
119.
numerical simulation
120.
parallel fault-simulation
121.
parallel simulation
122.
phase diagram simulation
123.
power system simulation
124.
ray-tracing simulation
125.
real time simulation
126.
real-time simulation
127.
register transfer and gate level simulation
128.
response simulation
129.
rheology simulation
130.
signal simulation
131.
signal simulation and modeling
132.
similar material simulation test
133.
simulation
134.
simulation analysis
135.
simulation applications
136.
simulation based static optimization
137.
simulation model
138.
simulation modeling
139.
simulation models
140.
simulation of air change
141.
simulation of energy consumption
142.
simulation software "Delphin"
143.
simulation training
144.
simulationbased decision support
145.
simulation-based verification
146.
spinach simulation
147.
SUMO simulation
148.
supply chain simulation
149.
systems simulation
150.
TD-DFT simulation
151.
urban simulation
152.
validation of simulation model
153.
wear simulation
154.
vehicle simulation
155.
whole building simulation
156.
visual simulation
157.
3D simulation
158.
5G New Radio simulation
159.
(co-)simulation
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT