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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(1/93)
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
93
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.
default logic
28.
diagrammatic logic
29.
digital logic
30.
dynamic logic
31.
epistemic logic
32.
ethics and logic
33.
formal logic
34.
fuzzy logic
35.
fuzzy logic
36.
fuzzy logic control
37.
fuzzy logic controller
38.
fuzzy logic controller (FLC)
39.
fuzzy logic model
40.
graphical method of logic
41.
history of logic
42.
Hoare logic
43.
Husserl and Pierce on logic of probability
44.
independence-friendly logic
45.
intuitionistic logic
46.
linear logic
47.
logic
48.
logic built-in self-test
49.
logic cell library
50.
logic circuit
51.
logic design
52.
logic diagram
53.
logic diagrams
54.
logic education
55.
logic for pragmatics
56.
logic gates
57.
logic in computer science
58.
logic in society
59.
logic level
60.
logic level and high level BDDs
61.
logic locking
62.
logic models
63.
logic models and simulation
64.
logic notation
65.
logic obfuscation
66.
logic of bunched implications
67.
logic of relatives
68.
logic of speech acts
69.
logic simulation
70.
logic synthesis
71.
logic teaching
72.
malicious logic
73.
mathematical logic
74.
modal logic
75.
Natural logic
76.
Peirce's existential graphs and transcendental logic
77.
philosophical logic
78.
philosophy of logic
79.
pragmatic logic
80.
probabilistic relational program logic
81.
programmable logic
82.
quantitative logic
83.
quantum logic
84.
race logic
85.
reconfigurable logic
86.
S4 modal logic
87.
S-D logic
88.
Service-Dominant logic
89.
stateful logic computation
90.
substructural logic
91.
symbolic knowledge in Husserlian pure logic
92.
symbolic logic
93.
temporal logic
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT