|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 36 occurrences of 31 keywords
|
|
|
|
|
Results
Found 143 publication records. Showing 125 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 89 | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
EVES: An Overview.  |
VDM Europe (1)  |
1991 |
DBLP DOI BibTeX RDF |
EVES, NEVER, Verdi, formal methods, Automated deduction, logic of programs |
| 60 | María Alpuente, Demis Ballis, Moreno Falaschi |
Verdi: An Automated Tool for Web Sites Verification. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 33 | Mingjun Zhao, Haijiang Wu, Di Niu, Zixuan Wang, Xiaoli Wang |
Verdi: Quality Estimation and Error Detection for Bilingual. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 33 | Mingjun Zhao, Haijiang Wu, Di Niu, Zixuan Wang, Xiaoli Wang |
Verdi: Quality Estimation and Error Detection for Bilingual Corpora. |
WWW |
2021 |
DBLP DOI BibTeX RDF |
|
| 33 | Torsten Roeder |
Horizontales Lesen: Das "Verdi-Requiem" und die deutsche Kritik. |
DHd |
2018 |
DBLP DOI BibTeX RDF |
|
| 33 | Vibarajan Viswanathan, Juliet Runhaar, Doug Reed, Jun Zhao |
Tough Bugs vs. Smart Tools - L2/L3 Cache Verification Using System Verilog, UVM and Verdi Transaction Debugging. |
MTV |
2016 |
DBLP DOI BibTeX RDF |
|
| 33 | James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang 0005, Michael D. Ernst, Thomas E. Anderson |
Verdi: a framework for implementing and formally verifying distributed systems. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 33 | Alexander Dekhtyar |
Review of Reasoning About Knowledge by Ronald Fagin, Joseph Halpern, Yoram Moses and Moshe Verdi. |
SIGACT News |
1997 |
DBLP DOI BibTeX RDF |
|
| 33 | J. Francisco Duque-Carrillo, Piero Malcovati, Franco Maloberti, Raquel Pérez-Aloe, Alexander H. Reyes, Edgar Sánchez-Sinencio, Guido Torelli, José M. Valverde |
VERDI: an acoustically programmable and adjustable CMOS mixed-mode signal processor for hearing aid applications. |
IEEE J. Solid State Circuits |
1996 |
DBLP DOI BibTeX RDF |
|
| 33 | Vincent Y. Shen, Charles Richter, Michael L. Graf, Jeffrey A. Brumfield |
VERDI: A Visual Environment for Designing Distributed Systems. |
J. Parallel Distributed Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 33 | Veljko M. Milutinovic, Jakov J. Crnkovic, L.-Y. Chang, Howard Jay Siegel |
The Loco Approach to Distributed Task Allocation in AIDA by VERDI. |
ICDCS |
1985 |
DBLP BibTeX RDF |
|
| 33 | M. Bouyat, H. Botta, J. C. Vignat |
VERDI: A computer aided design system for development and city planning. |
DAC |
1983 |
DBLP BibTeX RDF |
|
| 28 | Marco Chiesa, Fábio L. Verdi |
Network Monitoring on Multi-Pipe Switches. |
Proc. ACM Meas. Anal. Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Fábio L. Verdi, Gustavo V. Luz |
InFaRR: In-Network Fast ReRouting. |
IEEE Trans. Netw. Serv. Manag. |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Leandro C. de Almeida, Rafael Pasquini, Chrysa Papagianni, Fábio Luciano Verdi |
iRED: A disaggregated P4-AQM fully implemented in programmable data plane hardware. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Leandro C. de Almeida, Washington Rodrigo Dias da Silva, Thiago C. Tavares, Rafael Pasquini, Chrysa Papagianni, Fábio L. Verdi |
DESiRED - Dynamic, Enhanced, and Smart iRED: A P4-AQM with Deep Reinforcement Learning and In-band Network Telemetry. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Rodrigo Ferraz Azevedo, Luciano Bernardes de Paula, Fábio Luciano Verdi |
Design and Implementation of a Slice as a Service Architecture on the Edge Cloud with Resource Constraints. |
NetSoft |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Marco Chiesa, Fábio L. Verdi |
Network Monitoring on Multi-Pipe Switches. |
SIGMETRICS (Abstracts) |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | James Hermus, Johannes Lachner, David Verdi, Neville Hogan |
Exploiting Redundancy to Facilitate Physical Interaction. |
IEEE Trans. Robotics |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | André Luiz Beltrami Rocha, Celso Henrique Cesila, Paulo Ditarso Maciel, Sand Luz Correa, Javier Rubio-Loyola, Christian Esteve Rothenberg, Fábio Luciano Verdi |
CNS-AOM: Design, Implementation and Integration of an Architecture for Orchestration and Management of Cloud-Network Slices. |
J. Netw. Syst. Manag. |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Morteza Verdi, Ashkan Sami, Jafar Akhondali, Foutse Khomh, Gias Uddin 0001, Alireza Karami Motlagh |
An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Lara Letaw, Rosalinda Garcia, Patricia Morreale, Gail Verdi, Heather Garcia, Geraldine Jimena Noa, Spencer P. Madsen, Maria Jesus Alzugaray-Orellana, Margaret Burnett |
Educating Educators to Integrate Inclusive Design Across a 4-Year CS Degree Program. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Chen Wu, Yin Song, Verdi March, Eden Duthie |
Learning from Drivers to Tackle the Amazon Last Mile Routing Research Challenge. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Thiago Bueno da Silva, Fábio L. Verdi, Juliano Coelho Gonçalves de Melo, José Augusto Suruagy Monteiro, Flávio Oliveira Silva 0001, Antônio Marcos Alberti |
Toward Next-Generation and Service-Defined Networks: A NovaGenesis Control Agent for Future Internet Exchange Point. |
IEEE Netw. |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Sofia A. M. Silveira, Luciana A. M. Zaina, Leobino N. Sampaio, Fábio L. Verdi |
On the evaluation of usability design guidelines for improving network monitoring tools interfaces. |
J. Syst. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Gustavo V. Luz, André Luiz Beltrami Rocha, Leandro C. de Almeida, Fábio L. Verdi |
InFaRR: Um algoritmo para reroteamento rápido em planos de dados programáveis. |
SBRC |
2022 |
DBLP BibTeX RDF |
|
| 28 | Zaiqian Chen, Daniel Verdi do Amarante, Jenna Donaldson, Yohan Jo, Joonsuk Park |
Argument Mining for Review Helpfulness Prediction. |
EMNLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Leandro C. de Almeida, Guilherme Matos, Rafael Pasquini, Chrysa Papagianni, Fábio L. Verdi |
iRED: Improving the DASH QoS by dropping packets in programmable data planes. |
CNSM |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Thamires C. Luz, Cíntia B. Margi, Fábio Luciano Verdi |
Network Metrics Detection to Support Internet of Things Application Orchestration. |
Open J. Internet Things |
2021 |
DBLP BibTeX RDF |
|
| 28 | Stuart Clayman, Augusto Neto 0001, Fábio Luciano Verdi, Sand Correa, Silvio Sampaio, Ilias Sakellariou, Lefteris Mamatas, Rafael Pasquini, Kleber Vieira Cardoso, Francesco Tusa, Christian Esteve Rothenberg, Joan Serrat 0001 |
The NECOS Approach to End-to-End Cloud-Network Slicing as a Service. |
IEEE Commun. Mag. |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Guilherme Matos, Fábio Luciano Verdi, Luis Miguel Contreras Murillo, Leandro C. de Almeida |
When SRv6 meets 5G Core: Implementation and Deployment of a Network Service Chaining Function in SmartNICs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 28 | Lucian Beraldo, Angelos Pentelas, Fábio Luciano Verdi, Panagiotis Papadimitriou 0001, Cesar Augusto Cavalheiro Marcondes |
Tenant-Oriented Resource optimization for Cloud Network Slicing with Performance Guarantees. |
NetSoft |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Mayra Bachrach, Patricia Morreale, Gail Verdi |
Pedagogical Interventions to Improve the Outcomes of Hispanics in AP Computer Science. |
ITiCSE (1) |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Leandro C. de Almeida, Rafael Pasquini, Fábio L. Verdi |
Using Machine Learning and In-band Network Telemetry for Service Metrics Estimation. |
CloudNet |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Leandro C. de Almeida, Fábio L. Verdi, Rafael Pasquini |
Estimando métricas de serviço através de In-band Network Telemetry. |
SBRC |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Alberto Egon Schaeffer Filho, Fábio Luciano Verdi (eds.) |
Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, SBRC 2021, Uberlândia, MG, Brazil, August 16-20, 2021 |
SBRC |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Guilherme Matos, Leandro C. de Almeida, Luis Miguel Contreras Murillo, Fábio Luciano Verdi |
INCA: a mechanism for traffic identification and chaining in the data plane. |
LATINCOM |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Kevin B. Costa, Felipe Sampaio Dantas da Silva, Augusto J. V. Neto, Fábio L. Verdi |
Towards Edge-Cloud-Supported Monitoring at Cloud-Network Slice Granularity. |
NFV-SDN |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Fábio Luciano Verdi, Marco Chiesa |
Heavy Hitter Detection on Multi-Pipeline Switches. |
ANCS |
2021 |
DBLP DOI BibTeX RDF |
|
| 28 | Jorge Alvar-Beltrán, Carolina Fabbri, Leonardo Verdi, Stefania Truschi, Anna Dalla Marta, Simone Orlandini |
Testing Proximal Optical Sensors on Quinoa Growth and Development. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Fábio Luciano Verdi, Hélio Tibagí de Oliveira, Leobino N. Sampaio, Luciana A. M. Zaina |
Usability Matters: A Human-Computer Interaction Study on Network Management Tools. |
IEEE Trans. Netw. Serv. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Regis Francisco Teles Martins, Rodolfo da Silva Villaça, Fábio Luciano Verdi |
BitMatrix: A Multipurpose Sketch for Monitoring of Multi-tenant Networks. |
J. Netw. Syst. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Leandro C. de Almeida, Paulo Ditarso Maciel Jr., Fábio L. Verdi |
Cloud Network Slicing: A systematic mapping study from scientific publications. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 28 | André Luiz Beltrami Rocha, Celso Henrique Cesila, Paulo Ditarso Maciel, Christian Esteve Rothenberg, Fábio L. Verdi |
Elastic Monitoring Architecture for Cloud Network Slices. |
NOMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | André Luiz Beltrami Rocha, Paulo Ditarso Maciel, Francesco Tusa, Celso Henrique Cesila, Christian Esteve Rothenberg, Rafael Pasquini, Fábio L. Verdi |
Design and Implementation of an Elastic Monitoring Architecture for Cloud Network Slices. |
NOMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Rafael Pasquini, Javier Baliosian, Joan Serrat 0001, Juan-Luis Gorricho, Augusto Neto 0001, Fábio L. Verdi |
Inferring Cloud-Network Slice's Requirements from Non-Structured Service Description. |
NOMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Sergi Vila, Josep L. Lérida, Fernando Cores, Fernando Guirado, Fábio L. Verdi |
WPSP: A Multi-correlated Weighted Policy for VM Selection and Migration for Cloud Computing. |
Euro-Par |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Mayra Bachrach, Patricia Morreale, Gail Verdi |
Improving the Outcomes of Hispanics in AP Computer Science. |
SIGCSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Giulio Galesi, Luciano Giunipero, Barbara Leporini, Gianni Verdi |
SelfLens: A Portable Tool to Facilitate All People in Getting Information on Food Items. |
AVI |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Giulio Galesi, Luciano Giunipero, Barbara Leporini, Franco Pagliucoli, Antonio Quatraro, Gianni Verdi |
SelfLens: A Personal Assistive Technology to Support the Independence of People with Special Needs in Reading Information on Food Items. |
ICCHP (1) |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Sergi Vila, Nilson Moraes, Fernando Guirado, Josep L. Lérida, Fernando Cores, Fábio L. Verdi |
Cloud Resources Reassignment Based on CPU and Bandwidth Correlation. |
AINA |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | José A. T. Gavazza, Juliano Coelho Melo, Thiago Bueno da Silva, Antônio Marcos Alberti, Pedro Frosi Rosa, Flávio de Oliveira Silva 0001, Fábio Luciano Verdi, José Augusto Suruagy Monteiro |
Future Internet Exchange Point (FIXP): Enabling Future Internet Architectures Interconnection. |
AINA |
2020 |
DBLP DOI BibTeX RDF |
|
| 28 | Huolong Liu, Brendon Ricart, Courtney Stanton, Brandye Smith-Goettler, Luke Verdi, Thomas O'Connor, Sau Lee, Seongkyu Yoon |
Design space determination and process optimization in at-scale continuous twin screw wet granulation. |
Comput. Chem. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
| 28 | Rukun Hinz, Lore M. Peeters, Disha Shah, Stephan Missault, Michaël E. Belloy, Verdi Vanreusel, Meriam Malekzadeh, Marleen Verhoye, Annemie van der Linden, Georgios A. Keliris |
Bottom-up sensory processing can induce negative BOLD responses and reduce functional connectivity in nodes of the default mode-like network in rats. |
NeuroImage |
2019 |
DBLP DOI BibTeX RDF |
|
| 28 | Marcelo Frate, Marcelo K. Marczuk, Fábio Luciano Verdi |
OrchFlow: An Architecture for Orchestration of Multiple Controllers in OpenFlow Networks. |
J. Netw. Syst. Manag. |
2019 |
DBLP DOI BibTeX RDF |
|
| 28 | Morteza Verdi, Ashkan Sami, Jafar Akhondali, Foutse Khomh, Gias Uddin 0001, Alireza Karami Motlagh |
An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 28 | Paulo Ditarso Maciel, Fábio Luciano Verdi, Polychronis Valsamas, Ilias Sakellariou, Lefteris Mamatas, Sophia G. Petridou, Panagiotis Papadimitriou 0001, David Moura, Asma Islam Swapna, Billy Pinheiro, Stuart Clayman |
A Marketplace-based Approach to Cloud Network Slice Composition Across Multiple Domains. |
NetSoft |
2019 |
DBLP DOI BibTeX RDF |
|
| 28 | Thamires C. Luz, Gustavo A. Nunez Segura, Cíntia B. Margi, Fábio Luciano Verdi |
In-network performance measurements for Software Defined Wireless Sensor Networks. |
ICNSC |
2019 |
DBLP DOI BibTeX RDF |
|
| 28 | Michaël E. Belloy, Maarten Naeyaert, Anzar Abbas, Disha Shah, Verdi Vanreusel, Johan Van Audekerke, Shella D. Keilholz, Georgios A. Keliris, Annemarie van der Linden, Marleen Verhoye |
Dynamic resting state fMRI analysis in mice reveals a set of Quasi-Periodic Patterns and illustrates their relationship with the global signal. |
NeuroImage |
2018 |
DBLP DOI BibTeX RDF |
|
| 28 | Regis F. T. Martins, Fábio Luciano Verdi, Rodolfo da Silva Villaça, Luis Fernando U. Garcia |
Using Probabilistic Data Structures for Monitoring of Multi-tenant P4-based Networks. |
ISCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 28 | André Luiz Beltrami Rocha, Fábio Luciano Verdi |
EFM: Improving DCNs throughput using the transmission rates of elephant flows. |
ISCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 28 | Jennifer L. Davidson, Jofish Kaye, Michael Verdi, Michelle Heubusch, Saptarshi Guha, Peter Dolanjski, Gemma Petrie |
Will Automatically Importing User Data Help Overcome the Blank Slate Problem? |
CHI Extended Abstracts |
2018 |
DBLP DOI BibTeX RDF |
|
| 28 | Alan C. Silva, Regis Martins, Fábio Luciano Verdi |
Empowering applications with RFC 6897 to manage elephant flows in datacenter networks. |
CloudNet |
2017 |
DBLP DOI BibTeX RDF |
|
| 28 | Hélio Tibagí de Oliveira, Luciana A. M. Zaina, Leobino N. Sampaio, Fábio L. Verdi |
Estudo sobre características de administradores de redes de computadores no Brasil para identificação e elaboração de personas. |
SBRC |
2017 |
DBLP BibTeX RDF |
|
| 28 | Samuel Poncé, E. R. Margine, Carla Verdi, Feliciano Giustino |
EPW: Electron-phonon coupling, transport and superconducting properties using maximally localized Wannier functions. |
Comput. Phys. Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
| 28 | Abhishek Gupta 0002, Paolo Faraboschi, Filippo Gioachin, Laxmikant V. Kalé, Richard Kaufmann, Bu-Sung Lee, Verdi March, Dejan S. Milojicic, Chun Hui Suen |
Evaluating and Improving the Performance and Scheduling of HPC Applications in Cloud. |
IEEE Trans. Cloud Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
| 28 | Lucio Agostinho Rocha, Fábio Luciano Verdi |
MILPFlow: A toolset for integration of computational modelling and deployment of data paths for SDN. |
IM |
2015 |
DBLP DOI BibTeX RDF |
|
| 28 | Lucio Bianchi, Marco Verdi, Fabio Antonacci, Augusto Sarti, Stefano Tubaro |
High resolution imaging of acoustic reflections with spherical microphone arrays. |
WASPAA |
2015 |
DBLP DOI BibTeX RDF |
|
| 28 | Marcus Sandri, Alan C. Silva, Lucio Agostinho Rocha, Fábio Luciano Verdi |
On the Benefits of Using Multipath TCP and Openflow in Shared Bottlenecks. |
AINA |
2015 |
DBLP DOI BibTeX RDF |
|
| 28 | Luís Alexandre Rocha, Fábio Luciano Verdi |
A Network-Aware Optimization for VM Placement. |
AINA |
2015 |
DBLP DOI BibTeX RDF |
|
| 28 | Pedro F. Zanetti, Luciana A. M. Zaina, Fábio Luciano Verdi |
An approach for supporting P2P mobile collaborative communication to suggest learning objects based on learning profile. |
Int. J. Learn. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|
| 28 | Verdi March, Yan Gu 0002, Bu-Sung Lee |
Sonata: A Workflow Model for Interactive Mobile Cloud Applications. |
ICSOC Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
| 28 | Abhishek Gupta 0002, Laxmikant V. Kalé, Filippo Gioachin, Verdi March, Chun Hui Suen, Bu-Sung Lee, Paolo Faraboschi, Richard Kaufmann, Dejan S. Milojicic |
The Who, What, Why, and How of High Performance Computing in the Cloud. |
CloudCom (1) |
2013 |
DBLP DOI BibTeX RDF |
|
| 28 | Yan Gu 0002, Verdi March, Bu-Sung Lee |
GMoCA: Green mobile cloud applications. |
GREENS |
2012 |
DBLP DOI BibTeX RDF |
|
| 28 | Abhishek Gupta 0002, Laxmikant V. Kalé, Dejan S. Milojicic, Paolo Faraboschi, Richard Kaufmann, Verdi March, Filippo Gioachin, Chun Hui Suen, Bu-Sung Lee |
Exploring the performance and mapping of HPC applications to platforms in the cloud. |
HPDC |
2012 |
DBLP DOI BibTeX RDF |
|
| 28 | Christian Esteve Rothenberg, Carlos Alberto Braz Macapuna, Maurício F. Magalhães, Fábio Luciano Verdi, Alexander Wiesmaier |
In-packet Bloom filters: Design and networking applications. |
Comput. Networks |
2011 |
DBLP DOI BibTeX RDF |
|
| 28 | Verdi March, Yan Gu 0002, Erwin Leonardi, George Goh, Markus Kirchberg, Bu-Sung Lee |
μCloud: Towards a New Paradigm of Rich Mobile Applications. |
ANT/MobiWIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 28 | Verdi March, Yong Meng Teo |
A Read-Only Distributed Hash Table. |
J. Grid Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 28 | Ricardo B. Freitas, Luciano Bernardes de Paula, Edmundo Roberto Mauro Madeira, Fábio Luciano Verdi |
Using virtual topologies to manage inter-domain QoS in next-generation networks. |
Int. J. Netw. Manag. |
2010 |
DBLP DOI BibTeX RDF |
|
| 28 | Christian Esteve Rothenberg, Carlos Alberto Braz Macapuna, Fábio Luciano Verdi, Maurício F. Magalhães |
The Deletable Bloom filter: A new member of the Bloom family |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 28 | Christian Esteve Rothenberg, Carlos Alberto Braz Macapuna, Fábio Luciano Verdi, Maurício F. Magalhães |
The deletable Bloom filter: a new member of the Bloom family. |
IEEE Commun. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 28 | Rafael Pasquini, Maurício F. Magalhães, Fábio Luciano Verdi, Annikki Welin |
Bloom Filters in a Landmark-Based Flat Routing. |
ICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 28 | Rafael Pasquini, Fábio Luciano Verdi, Rodolfo Oliveira, Maurício F. Magalhães, Annikki Welin |
A Proposal for an XOR-Based Flat Routing Mechanism in Internet-Like Topologies. |
GLOBECOM |
2010 |
DBLP DOI BibTeX RDF |
|
| 28 | Tiezhu Zhao, Verdi March, Shoubin Dong, Simon See |
Evaluation of a Performance Model of Lustre File System. |
ChinaGrid |
2010 |
DBLP DOI BibTeX RDF |
|
| 28 | Walter Wong, Marcus Vinícius Lahr Giraldi, Maurício F. Magalhães, Fábio Luciano Verdi |
An Identifier-Based Architecture for Native Vertical Handover Support. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
next-generation architectures, mobility, security protocol, heterogeneous networks |
| 28 | Walter Wong, Maurício F. Magalhães, Fábio Luciano Verdi |
IDSec: An Identification Layer Security Model. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
Security, Protocols, Computer Networks |
| 28 | Osvaldo G. do Rocio, Alexandre J. Santana, Marcos A. Verdi |
Semigroups of Affine Groups, Controllability of Affine Systems and Affine Bilinear Systems in $\mathrmSl(2, R)\rtimesR2$. |
SIAM J. Control. Optim. |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Verdi March, Vijayaraghavan Murali, Yong Meng Teo, Simon See, James T. Himer |
Towards Predictive Modeling of Message-Passing Communication. |
HPCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Chao Ma 0008, Yong Meng Teo, Verdi March, Naixue Xiong, I. R. Pop, Yanxiang He, Simon See |
An approach for matching communication patterns in parallel applications. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Rafael Pasquini, Luciano Bernardes de Paula, Fábio Luciano Verdi, Maurício F. Magalhães |
Domain identifiers in a next generation internet architecture. |
WCNC |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Tiezhu Zhao, Yilong Ding, Verdi March, Shoubin Dong, Simon See |
Research on the Performance of xVM Virtual Machine Based on HPCC. |
ChinaGrid |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Henry Kasim, Verdi March, Simon See |
Performance Comparison of Four-Socket Server Architecture on HPC Workload. |
CSE (1) |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Tuan Zea Tan, Rick Siow Mong Goh, Verdi March, Simon See |
A Case Study of Speeding up Performance Tuning Process using Data Mining Approach. |
CSC |
2009 |
DBLP BibTeX RDF |
|
| 28 | Tuan Zea Tan, Rick Siow Mong Goh, Verdi March, Simon See |
Data mining analysis to validate performance tuning practices for HPL. |
CLUSTER |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Fábio Luciano Verdi, Cláudio Carvalho, Maurício F. Magalhães, Edmundo R. M. Madeira |
Policy-Based Grooming in Optical Networks. |
J. Netw. Syst. Manag. |
2008 |
DBLP DOI BibTeX RDF |
|
| 28 | Neumar Malheiros, Edmundo Roberto Mauro Madeira, Fábio Luciano Verdi, Murício Magalhães |
Managing Layer 1 VPN services. |
Opt. Switch. Netw. |
2008 |
DBLP DOI BibTeX RDF |
|
| 28 | Henry Kasim, Verdi March, Rita Zhang, Simon See |
Survey on Parallel Programming Model. |
NPC |
2008 |
DBLP DOI BibTeX RDF |
Fortress, MPI, shared memory, OpenMP, CUDA, distributed memory, UPC, Pthreads |
| 28 | Christian Esteve Rothenberg, Fábio Luciano Verdi, Maurício F. Magalhães |
Towards a new generation of information-oriented internetworking architectures. |
CoNEXT |
2008 |
DBLP DOI BibTeX RDF |
|
| 28 | Walter Wong, Fábio Luciano Verdi, Maurício F. Magalhães |
A security plane for publish/subscribe based content oriented networks. |
CoNEXT |
2008 |
DBLP DOI BibTeX RDF |
publish-subscribe paradigm, architecture |
| 28 | Walter Wong, Rodolfo da Silva Villaça, Luciano Bernardes de Paula, Rafael Pasquini, Fábio Luciano Verdi, Maurício F. Magalhães |
An Architecture for Mobility Support in a Next-Generation Internet. |
AINA |
2008 |
DBLP DOI BibTeX RDF |
security, mobility, multi-homing, next-generation Internet |
Displaying result #1 - #100 of 125 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license