Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
routing logic (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(1/100)
Export
export all inquiry results
(3)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Automated minimization of concurrent online checkers for network-on-chips
Saltarelli, Pietro
;
Niazmand, Behrad
;
Hariharan, Ranganathan
;
Raik, Jaan
;
Jervan, Gert
;
Hollstein, Thomas
10th International Symposium on Reconfigurable and Communication-centric Systems-on-Chip (ReCoSoC 2015) : Bremen, 29 June - 1 July 2015
2015
/
[8] p. : ill
http://dx.doi.org/10.1109/ReCoSoC.2015.7238079
book article
2
book article
A framework for area-efficient concurrent online checkers design
Saltarelli, Pietro
;
Niazmand, Behrad
;
Hariharan, Ranganathan
;
Raik, Jaan
;
Jervan, Gert
;
Hollstein, Thomas
MEDIAN Finale : Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale : November 10-11, 2015, Tallinn, Estonia
2015
/
p. 64-69 : ill
book article
3
book article
A framework for comprehensive automated evaluation of concurrent online checkers
Saltarelli, Pietro
;
Niazmand, Behrad
;
Raik, Jaan
;
Hariharan, Ranganathan
;
Jervan, Gert
;
Hollstein, Thomas
Euromicro Conference on Digital System Design : DSD 2015 : 26-28 August 2015, Funchal, Madeira, Portugal : proceedings
2015
/
p. 288-292 : ill
http://dx.doi.org/10.1109/DSD.2015.15
book article
Number of records 3, displaying
1 - 3
keyword
100
1.
routing logic
2.
logic-based distributed routing
3.
logic and philosophy of logic
4.
bandwidth-aware adaptive routing
5.
congestion-aware adaptive routing
6.
contention-aware adaptive routing
7.
data routing
8.
geographic routing
9.
inventory routing problem
10.
inventory routing problem (IRP)
11.
multi-hop routing protocol
12.
optimized routing approach for critical and emergency networks
13.
optimized routing approach for critical and emergency networks simulations
14.
policy-based routing security
15.
Routing
16.
routing algorithm
17.
routing algorithms
18.
routing closure
19.
routing policy
20.
routing protocols
21.
ship routing
22.
tactical multi-hop routing protocol
23.
3D routing
24.
algebra of logic
25.
binary logic controller
26.
Boolean logic
27.
Compound logic locking
28.
Compound logic locking (CLL)
29.
constructive logic
30.
default logic
31.
diagrammatic logic
32.
digital logic
33.
dynamic logic
34.
epistemic logic
35.
ethics and logic
36.
formal logic
37.
fuzzy logic
38.
fuzzy logic
39.
fuzzy logic control
40.
fuzzy logic controller
41.
fuzzy logic controller (FLC)
42.
fuzzy logic model
43.
graphical method of logic
44.
history of logic
45.
Hoare logic
46.
Husserl and Pierce on logic of probability
47.
independence-friendly logic
48.
Inductive logic programming
49.
intuitionistic logic
50.
linear logic
51.
logic
52.
logic built-in self-test
53.
logic cell library
54.
logic circuit
55.
logic design
56.
logic diagram
57.
logic diagrams
58.
logic education
59.
logic for pragmatics
60.
logic gates
61.
logic in computer science
62.
logic in society
63.
logic level
64.
logic level and high level BDDs
65.
logic locking
66.
logic machine
67.
logic models
68.
logic models and simulation
69.
logic notation
70.
logic obfuscation
71.
logic of bunched implications
72.
logic of relatives
73.
logic of science
74.
logic of speech acts
75.
logic simulation
76.
logic synthesis
77.
logic teaching
78.
malicious logic
79.
mathematical logic
80.
modal logic
81.
Natural logic
82.
Peirce's existential graphs and transcendental logic
83.
philosophical logic
84.
philosophy of logic
85.
pragmatic logic
86.
probabilistic relational program logic
87.
programmable logic
88.
programmable logic controller (PLC)
89.
quantitative logic
90.
quantum logic
91.
race logic
92.
reconfigurable logic
93.
S4 modal logic
94.
S-D logic
95.
Service-Dominant logic
96.
stateful logic computation
97.
substructural logic
98.
symbolic knowledge in Husserlian pure logic
99.
symbolic logic
100.
temporal logic
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT