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/162)
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
162
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 cell library
29.
logic circuit
30.
logic design
31.
logic diagram
32.
logic diagrams
33.
logic education
34.
logic for pragmatics
35.
logic gates
36.
logic in computer science
37.
logic in society
38.
logic level
39.
logic level and high level BDDs
40.
logic locking
41.
logic models
42.
logic notation
43.
logic obfuscation
44.
logic of bunched implications
45.
logic of relatives
46.
logic of speech acts
47.
logic synthesis
48.
logic teaching
49.
logic-based distributed routing
50.
malicious logic
51.
mathematical logic
52.
modal logic
53.
Natural logic
54.
Peirce's existential graphs and transcendental logic
55.
philosophical logic
56.
philosophy of logic
57.
pragmatic logic
58.
programmable logic
59.
quantitative logic
60.
quantum logic
61.
race logic
62.
reconfigurable logic
63.
routing logic
64.
S4 modal logic
65.
S-D logic
66.
Service-Dominant logic
67.
stateful logic computation
68.
symbolic knowledge in Husserlian pure logic
69.
symbolic logic
70.
temporal logic
71.
annual energy simulation
72.
back traced simulation
73.
building energy simulation
74.
building simulation
75.
casting simulation
76.
CFD simulation
77.
circuit simulation
78.
CoCoViLa simulation environment
79.
computer simulation
80.
computer simulation environments
81.
cooling simulation
82.
co-simulation
83.
data simulation
84.
digital real time simulation
85.
dynamic simulation
86.
electric field simulation
87.
emergency simulation
88.
energy simulation
89.
energy simulation software
90.
environmental performance assessment and simulation
91.
Fault Injection Simulation
92.
fault simulation
93.
fault simulation with critical path tracing
94.
finite element method (FEM) simulation
95.
finite element simulation
96.
fluid flow simulation
97.
FMS modelling and simulation
98.
fullscale simulation
99.
gait simulation
100.
hardware-in-the loop simulation
101.
Hardware-in-the-Loop simulation
102.
high-level fault simulation
103.
hot/cold pressing and finite element model simulation
104.
hygrothermal simulation
105.
impact-abrasive simulation
106.
intelligent simulation
107.
intelligent simulation environment
108.
LES (large eddy simulation) method
109.
magnetics field simulation
110.
Mathematical simulation
111.
MATLAB simulation
112.
medical simulation
113.
meso-scale simulation
114.
MICA2 simulation
115.
modeling and simulation
116.
modelling and simulation
117.
Monte Carlo simulation
118.
Monte Carlo simulation (MCS)
119.
multi agent simulation
120.
multiscale simulation
121.
numerical simulation
122.
parallel fault-simulation
123.
parallel simulation
124.
phase diagram simulation
125.
power system simulation
126.
ray-tracing simulation
127.
real time simulation
128.
real-time simulation
129.
register transfer and gate level simulation
130.
response simulation
131.
rheology simulation
132.
signal simulation
133.
signal simulation and modeling
134.
similar material simulation test
135.
simulation
136.
simulation analysis
137.
simulation applications
138.
simulation based static optimization
139.
simulation based TMY
140.
simulation model
141.
simulation modeling
142.
simulation models
143.
simulation of air change
144.
simulation of energy consumption
145.
simulation software "Delphin"
146.
simulation training
147.
simulationbased decision support
148.
simulation-based verification
149.
spinach simulation
150.
SUMO simulation
151.
supply chain simulation
152.
systems simulation
153.
TD-DFT simulation
154.
urban simulation
155.
validation of simulation model
156.
wear simulation
157.
vehicle simulation
158.
whole building simulation
159.
visual simulation
160.
3D simulation
161.
5G New Radio simulation
162.
(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