Percorrer por autor 43 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 22-38 de um total de 38 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
Set-2014Paralelização de algoritmos de enumeração para o problema do vector mais curto em sistemas de memória partilhada e distribuídaCorreia, Fábio José Gonçalves; Mariano, Artur Miguel Matos; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
2016Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVPCorreia, Fábio José Gonçalves; Mariano, Artur Miguel Matos; Proença, Alberto José, et al.Artigo em ata de conferênciaAcesso aberto
2016Parallel improved Schnorr-Euchner enumeration SE++ on shared and distributed memory systems, with and without extreme pruningCorreia, Fábio; Mariano, Artur; Proença, Alberto José, et al.ArtigoAcesso aberto
2004A partition methodology to develop data flow dominated embedded systemsEsteves, António; Proença, Alberto JoséComunicação em painel Acesso aberto
1995A plataforma EDgAR na prototipagem rápida de sistemas digitaisEsteves, António; Fernandes, João M.; Santos, Henrique Dinis dos, et al.Comunicação em painel Acesso aberto
Mai-2010A platform to support civil protection applications on the GRIDPina, António Manuel Silva; Oliveira, B.; Puga, Joel, et al.Artigo em ata de conferênciaAcesso aberto
Dez-2010Preface and biographic notes for the special issue on graphics for serious gamesDebattista, Kurt; Proença, Alberto José; Santos, Luís PauloEditorial em revistaAcesso aberto
1997Redes de Petri e VHDL na prototipagem rápida de sistemas digitaisMachado, Ricardo J.; Fernandes, João M.; Proença, Alberto JoséArtigoAcesso aberto
1997Redes de Petri e VHDL na prototipagem rápida de sistemas digitaisMachado, Ricardo J.; Fernandes, João M.; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
Dez-2006Refinement criteria for high fidelity interactive walkthroughsOliveira, António Araújo de; Santos, Luís Paulo; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
2014Removing inefficiencies from scientific code: the study of the Higgs boson couplings to top quarksPereira, André Martins; Onofre, A.; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
Ago-2004Scheduling under conditions of uncertainty: a bayesian approachSantos, Luís Paulo; Proença, Alberto JoséCapítulo de livroAcesso aberto
Jul-1995Simulação e síntese de controladores paralelos a partir de especificações baseados em redes de PetriFernandes, João M.; Pina, António Manuel Silva; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
1997SOFHIA: a CAD environment to design digital control systemsMachado, Ricardo J.; Fernandes, João M.; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
Jul-1997Specification of industrial digital controllers with object-oriented Petri netsMachado, Ricardo J.; Fernandes, João M.; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
Set-2016Tuning pipelined scientific data analyses for efficient multicore executionPereira, André Martins; Onofre, A.; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
Mar-1997VHDL generation from hierarchical petri net specifications of parallel controllersFernandes, João M.; Adamski, Marian; Proença, Alberto JoséArtigoAcesso aberto
Mostrar 22-38 de um total de 38 resultados. < anterior