Computing Systems Research Lab

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 664

9 Team Members
Filters -> Year: 2025
521
TITLE: Retargeting, evaluating, and generating reconfigurable array-based architectures
AUTHORS: Morra, C; Cardoso, JMP ; Bispo, J ; Becker, J;
PUBLISHED: 2008, SOURCE: 2008 Symposium on Application Specific Processors in 2008 SYMPOSIUM ON APPLICATION SPECIFIC PROCESSORS, PAGES: 34-41
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
522
TITLE: Sorting units for FPGA-based embedded systems  Full Text
AUTHORS: Rui Marcelino; Horacio Neto ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PAGES: 11-22
INDEXED IN: Scopus WOS DBLP CrossRef: 29
523
TITLE: Special track on embedded systems: Applications, solutions, and techniques. editorial message  Full Text
AUTHORS: Bechini, A; Prete, CA; Altenbernd, P; Bartolini, S; Bertin, V; Buttazzo, G; Cardoso, JMP ; Dean, A; Engels, M; Foglia, P; Franke, B; Giorgi, R; Hansson, J; Jha, NK; Krall, A; Kuo, TW; Ledeczi, A; Lim, SS; Memik, G; Simeon, J; Sheynin, Y; Sips, HJ; Talpin, JP; Tripakis, S; Velev, M; Yen, IL; ...More
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1476
INDEXED IN: Scopus CrossRef
524
TITLE: Synthesis of regular expressions for FPGAs  Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 95, ISSUE: 7, PAGES: 685-704
INDEXED IN: Scopus WOS CrossRef: 7
525
TITLE: The potential of computation reuse in high-level optimization of a signal recognition system
AUTHORS: Demertzi, M; Diniz, PC ; Hall, MW; Gilbert, AC; Wang, Y;
PUBLISHED: 2008, SOURCE: 10th Workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE International Parallel and Distributed Processing Symposium in 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, PAGES: 2550-+
INDEXED IN: Scopus WOS CrossRef
526
TITLE: Using MPEG-21 and web services to achieve end-to-end QoS management
AUTHORS: Andrade, MT ; Souto, PF ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2008) in 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2008), THETA 16TH EDITION, VOL I, PROCEEDINGS, VOLUME: 1, PAGES: 346-351
INDEXED IN: Scopus WOS CrossRef
527
TITLE: A combined hardware/software optimization framework for signal representation and recognition
AUTHORS: Demertzi, M; Diniz, P ; Hall, MW; Gilbert, AC; Wang, Y;
PUBLISHED: 2007, SOURCE: 7th International Conference on Computational Science (ICCS 2007) in COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, VOLUME: 4487, PAGES: 1230-+
INDEXED IN: Scopus WOS
528
TITLE: A data-driven approach for pipelining sequences of data-dependent loops
AUTHORS: Rui Rodrigues; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2007, SOURCE: 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in FCCM 2007: 15TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PAGES: 219-228
INDEXED IN: Scopus WOS DBLP CrossRef: 17
529
TITLE: A gait analysis laboratory for rehabilitation of patients with musculoskeletal impairments
AUTHORS: Sousa, DSS; João Manuel R. S. Tavares ; Correia, MV ; Barbosa, JG ; Cha, CV; Mendes, E;
PUBLISHED: 2007, SOURCE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS, PAGES: 417-422
INDEXED IN: Scopus WOS DBLP
530
TITLE: A polynomial placement algorithm for data driven coarse-grained reconfigurable architectures
AUTHORS: Ricardo Ferreira; Alisson Garcia; Tiago Teixeira; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI in IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, PAGES: 61-66
INDEXED IN: Scopus WOS DBLP CrossRef: 14
531
TITLE: A reliability evaluation of a group membership protocol
AUTHORS: Valerio Rosset; Pedro F Souto ; Paulo Portugal ; Francisco Vasques ;
PUBLISHED: 2007, SOURCE: 26th International Conference on Computer Safety, Reliability and Security in COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, VOLUME: 4680, PAGES: 397-410
INDEXED IN: Scopus WOS DBLP CrossRef
532
TITLE: Aggressive loop pipelining for reconfigurable architectures
AUTHORS: Ricardo Menotti; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: 17th International Conference on Field Programmable Logic and Applications in 2007 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLS 1 AND 2, PAGES: 501-502
INDEXED IN: Scopus WOS DBLP CrossRef: 5
533
TITLE: An FPGA implementation for a kalman filter with application to mobile robotics
AUTHORS: Vanderlei Bonato; Rafael Peron; Denis F Wolf; Jose A M de Holanda; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, PAGES: 148-155
INDEXED IN: Scopus WOS DBLP CrossRef: 19
534
TITLE: Automatic vertebra detection in X-ray images
AUTHORS: Moura, DC; Correia, MV ; Barbosa, JG ; Reis, AM; Laranjeira, M; Gomes, E;
PUBLISHED: 2007, SOURCE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS, PAGES: 307-312
INDEXED IN: Scopus WOS DBLP Handle
535
TITLE: Compiler-assisted performance tuning  Full Text
AUTHORS: Chen, C; Chame, J; Nelson, YL; Diniz, P ; Hall, M; Lucas, R;
PUBLISHED: 2007, SOURCE: Journal of Physics: Conference Series, VOLUME: 78, ISSUE: 1, PAGES: 012024
INDEXED IN: Scopus CrossRef: 4
536
TITLE: Exploiting parallelism in configurable architectures through custom array mapping  Full Text
AUTHORS: Baradaran, N; Diniz, PC ;
PUBLISHED: 2007, SOURCE: International Conference on Field Programmable Logic and Applications in IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 1, ISSUE: 4, PAGES: 303-311
INDEXED IN: Scopus WOS CrossRef
537
TITLE: Formal verification of a group membership protocol using model checking
AUTHORS: Rosset, V; Souto, PF ; Vasques, R ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, ISSUE: PART 1, PAGES: 471-488
INDEXED IN: Scopus WOS DBLP CrossRef Handle
538
TITLE: Guest editorial: Special issue on reconfigurable hardware systems  Full Text
AUTHORS: Joao M P Cardoso ; Koen Bertels; George A Constantinides; Stamatis Vassiliadis;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 94, ISSUE: 5, PAGES: 431-433
INDEXED IN: WOS CrossRef
539
TITLE: Implementing range queries with a decentralized balanced tree over distributed hash tables
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2007, SOURCE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PAGES: 197-206
INDEXED IN: Scopus WOS DBLP CrossRef: 5
540
TITLE: Improving on version stamps
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, ISSUE: PART 2, PAGES: 1025-1031
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 27 of 34. Total results: 664.