Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Machado, Nuno J
76  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

NetSheriff: Sheltering Software-Defined Networks from Rogue..:

, In: Networked Systems; Lecture Notes in Computer Science,
Laffranchini, Paolo ; Miranda, João ; Machado, Nuno... - p. 279-295 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Testing for Race Conditions in Distributed Systems via SMT ..:

, In: Tests and Proofs; Lecture Notes in Computer Science,
Pereira, João Carlos ; Machado, Nuno ; Sousa Pinto, Jorge - p. 122-140 , 2020
Link: https://doi.org/10.1007/..
 
?
3

d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds:

, In: 2019 38th Symposium on Reliable Distributed Systems (SRDS),
Pontes, Rogerio ; Maia, Francisco ; Vilaca, Ricardo. - p. 61-6109 , 2019
Link: https://doi.org/10.1109/..
 
?
4

Production-guided concurrency debugging:

, In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
Machado, Nuno ; Lucia, Brandon ; Rodrigues, Luís - p. 1-12 , 2016
Link: https://dl.acm.org/doi/1..
 
?
5

Concurrency debugging with differential schedule projection:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Machado, Nuno ; Lucia, Brandon ; Rodrigues, Luís - p. 586-595 , 2015
Link: https://dl.acm.org/doi/1..
 
?
6

Property-driven cooperative logging for concurrency bugs re..:

, In: Proceedings of the 5th USENIX Conference on Hot Topics in Parallelism,
Machado, Nuno ; Romano, Paolo ; Rodrigues, Luís - p. 10 ff. , 2013
Link: https://dl.acm.org/doi/1..
 
?
7

Towards effective and efficient search-based deterministic ..:

, In: Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
Bravo, Manuel ; Machado, Nuno ; Romano, Paolo. - p. 1-6 , 2013
Link: https://dl.acm.org/doi/1..
 
?
8

Normalized City Analytics Based on a Semantic Interoperabil..:

, In: Proceedings of the I-ESA Conferences; Enterprise Interoperability X,
Pereira, Tiago F. ; Soares, Nuno ; Pinto, Mariana... - p. 301-312 , 2024
Link: https://doi.org/10.1007/..
 
?
9

Contributors:

, In: Concepts and Models for Drug Permeability Studies,
Agarwal, Priyanka ; Andrade, Fernanda ; Araújo, Francisca... - p. xvii-xxii , 2024
Link: https://doi.org/10.1016/..
 
?
10

Design of Wearable Prostheses: A New Approach:

, In: Advances in Service and Industrial Robotics; Mechanisms and Machine Science,
Moreira, Pedro ; Machado, José ; Vaida, Calin... - p. 129-138 , 2024
Link: https://doi.org/10.1007/..
 
?
11

Grammar-Based Evolution of Polyominoes:

, In: Lecture Notes in Computer Science; Genetic Programming,
Mégane, Jessica ; Medvet, Eric ; Lourenço, Nuno. - p. 56-72 , 2024
Link: https://doi.org/10.1007/..
 
?
12

Towards Physical Plausibility in Neuroevolution Systems:

, In: Applications of Evolutionary Computation; Lecture Notes in Computer Science,
Cortês, Gabriel ; Lourenço, Nuno ; Machado, Penousal - p. 76-90 , 2024
Link: https://doi.org/10.1007/..
 
?
13

Redefinition of the Layout and the Impact on the Reduction ..:

, In: Lecture Notes in Management and Industrial Engineering; Industry 4.0: The Power of Data,
Fernandes, Bruna ; Botelho, Daniel ; Fernandes, Francisco... - p. 163-171 , 2023
Link: https://doi.org/10.1007/..
 
?
14

Combining Reference Models for Eliciting Requirements in In..:

, In: Enterprise Interoperability IX; Proceedings of the I-ESA Conferences,
Santos, Nuno ; Pereira, Jaime ; Morais, Francisco.. - p. 229-237 , 2023
Link: https://doi.org/10.1007/..
 
?
15

A Low-Cost Solution for Assets Location Tracking Based on L..:

, In: 2023 IEEE 9th World Forum on Internet of Things (WF-IoT),
Severino, Ricardo F. ; Serrador, Antonio ; Datia, Nuno.. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
1-15