I agree that this site is using cookies. You can find further informations here.
X
De Felice, Alberto
18  results:
Bookchapter (Online) X
Search for persons X
?
1

Port System Authority of the Eastern Adriatic Sea (Ports of..:

, In: Futures Thinking and Organizational Policy, Volume 2,
De Toni, Alberto Felice ; Battistella, Cinzia ; Attanasio, Giovanna. - p. 255-287 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Bone Fracture Detection by Electrical Bioimpedance: Measure..:

, In: IFMBE Proceedings; 17th International Conference on Electrical Bioimpedance,
Dell'Osa, Antonio H. ; Concu, Alberto ; Dobarro, Fernando. - p. 203-207 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Hsp60 in Skeletal Muscle: From Molecular Anatomy to Pathoph..:

, In: Heat Shock Protein 60 in Human Diseases and Disorders; Heat Shock Proteins,
Barone, Rosario ; Di Felice, Valentina ; Coletti, Dario. - p. 269-276 , 2019
Link: https://doi.org/10.1007/..
 
?
4

Contributor contact details:

, In: Handbook of Membrane Reactors,
Basile, Angelo ; Calabrò, V. ; Gugliuzza, Annarosa... - p. xv-xxi , 2013
Link: https://doi.org/10.1016/..
 
?
5

Cryptography in the Quantum Era:

, In: 2022 IEEE 15th Workshop on Low Temperature Electronics (WOLTE),
Lella, Eufemia ; Gatto, Alberto ; Pazienza, Andrea... - p. 1-4 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Metropolis:

, In: Multiprocessor Systems-on-Chips,
Balarin, Felice ; Hsieh, Harry ; Lavagno, Luciano... - p. 465-496 , 2005
Link: https://doi.org/10.1016/..
 
?
7

Separation of concerns : overhead in modeling and effici..:

, In: Proceedings of the 4th ACM international conference on Embedded software,
Yang, Guang ; Sangiovanni-Vincentelli, Alberto ; Watanabe, Yosinori. - p. 44-53 , 2004
Link: https://dl.acm.org/doi/1..
 
?
8

Concurrent execution semantics and sequential simulation al..:

, In: Proceedings of the tenth international symposium on Hardware/software codesign,
Balarin, Felice ; Lavagno, Luciano ; Passerone, Claudio... - p. 13-18 , 2002
Link: https://dl.acm.org/doi/1..
 
?
9

Efficient methods for embedded system design space explorat..:

, In: Proceedings of the 37th Annual Design Automation Conference,
Hsieh, Harry ; Balarin, Felice ; Lavagno, Luciano. - p. 607-612 , 2000
Link: https://dl.acm.org/doi/1..
 
?
10

Automatic Generation of a Real-Time Operating System for Em..:

, In: Proceedings of the 5th International Workshop on Hardware/Software Co-Design,
Balarin, Felice ; Chiodo, Massimiliano ; Jurecska, Attila... - p. 95.5 ff. , 1997
Link: https://dl.acm.org/doi/1..
 
?
11

Schedule validation for embedded reactive real-time systems:

, In: Proceedings of the 34th annual Design Automation Conference,
Balarin, Felice ; Sangiovanni-Vincentelli, Alberto - p. 52-57 , 1997
Link: https://dl.acm.org/doi/1..
 
?
12

Formal verification of embedded systems based on CFSM netwo..:

, In: Proceedings of the 33rd annual Design Automation Conference,
Balarin, Felice ; Hsieh, Harry ; Jurecska, Attila.. - p. 568-571 , 1996
Link: https://dl.acm.org/doi/1..
 
?
13

Sequential synthesis using S1S:

, In: Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design,
Aziz, Adnan ; Balarin, Felice ; Brayton, Robert. - p. 612-617 , 1995
Link: https://dl.acm.org/doi/1..
 
?
14

Iterative algorithms for formal verification of embedded re..:

, In: Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design,
Balarin, Felice ; Sangiovanni-Vincentelli, Alberto L. - p. 450-457 , 1994
Link: https://dl.acm.org/doi/1..
 
?
15

Denoise to Protect: A Method to Robustify Visual Recommende..:

, In: Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval,
Merra, Felice Antonio ; Anelli, Vito Walter ; Di Noia, Tommaso.. - p. 1924-1928 , 2023
Link: https://dl.acm.org/doi/1..
 
1-15