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: 662

9 Team Members
Filters -> Year: 2025
521
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
522
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
523
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
524
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
525
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
526
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
527
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
528
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
529
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
530
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
531
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
532
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
533
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
534
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
535
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
536
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
537
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
538
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
539
TITLE: Message from the HeteroPar 2007 Chair
AUTHORS: Beaumont, O; Gimenez, D; Kalinov, A; Lastovetsky, A; Robert, Y; Trystram, D; Bahi, JM; Baker, M; Banicescu, I; Barbosa, J ; Boeres, C; Bosque, JL; Clematis, A; Dayde, M; Desprez, F; Dongarra, J; Dutot, PF; Goldman, A; Guermouche, A; Ichikawa, S; Jeannot, E; Karatza, H; Kechadi, T; Laforenza, D; Lan, Z; Manneback, P; Nasri, W; Petcu, D; Petiton, S; Plaza, AJ; Reddy, R; Rodriguez, C; Seredynski, F; Siegel, HJ; Sips, H; Sousa, L ; Vidal, AM; Yahyapour, R; Cesar, E; Lucchese, C; Printista, M; Shestak, V; Sinnen, O; Smith, G; Smith, J; ...More
PUBLISHED: 2007, SOURCE: IEEE International Conference on Cluster Computing in 2007 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PAGES: 496-496
INDEXED IN: Scopus WOS CrossRef
540
TITLE: On adapting power estimation models for embedded soft-core processors
AUTHORS: Jose A de Holanda; Jecel Assumpcao; Denis E Wolf; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, PAGES: 345-348
INDEXED IN: Scopus WOS DBLP CrossRef: 2

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