[PDF] Top 20 Publicações do PESC A Graph-Theoretic Model of Shared-Memory Legality
Has 10000 "Publicações do PESC A Graph-Theoretic Model of Shared-Memory Legality" found on our website. Below are the top 20 most common "Publicações do PESC A Graph-Theoretic Model of Shared-Memory Legality".
Publicações do PESC A Graph-Theoretic Model of Shared-Memory Legality
... design of a scalable, efficient multiprocessing system, that is, a system comprising several pro- cessors that share a common address space, is dependent upon a variety of important ...factors. Of ... See full document
14
Publicações do PESC Model Checking Dolev-Yao Multi-Agent Epistemic Logic
... Yao’s model (seen in section ...logic of knowledge and beliefs, to reason about security protocols ...power of S 5 to think about users’ possibilities, and what an user can discover during ... See full document
65
Publicações do PESC A Stable Tensor-Based Deflection Model for Controlled Fluid Simulations
... advantage of this approach is that it can be directly applied to the Navier-Stokes ...number of disadvantages: it requires very small time steps to remain stable and fluid control is only exerted during ... See full document
94
Publicações do PESC Model Checking Knowledge in Multi-Agent Systems
... corresponding model checking process [CGP + ...a Model Checking process in section 4, and in section 5 we state the algorithms of ...ple model for the alternating bit protocol in this ... See full document
15
Publicações do PESC Graceful Labeling of Graphs
... sequence of graceful trees starting from a single vertex such that each tree is the previous one in the sequence plus a vertex, and the last tree of the sequence is the target tree ...existence of ... See full document
49
Publicações do PESC Building Self-Timed Sequence Generators Using Ser And Smer Graph Dynamics
... Module binary counter. The values inside each node on the leftmost graph represent the reversibility (r ) of each node. Outside each node there is a name that identify it. Nodes A and B are called main ... See full document
9
Publicações do PESC Applying Machine Learning on Algorithm Selection for the Graph Coloring Problem
... predictive model, we counted the number of times each feature appeared on every tree of a single run of 10-fold cross-validation using FS5 as the feature ...run of the 10-fold ...any ... See full document
74
Publicações do PESC Game Prolog
... procedure of extracting the predicates from the body of objective clause obtained from an action of the previous player and replacing the original facts to these predicates means that the new ... See full document
29
Publicações do PESC Compressão de Dados
... Este trabalho têm por finalidade apresentar a.lgumas técnicas de compressão, descrever como estas se aplicam n o tratamento dos dados e implementas tipos de compressão que perm[r] ... See full document
182
Publicações do PESC Concentrador de Terminais
... inclusive, por grandes períodos de pausa, j.á que o operador de- ve executar outras tarefas.[r] ... See full document
106
Publicações do PESC Compilador Didático
... CNPq - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENT~FICO E TEcNOLÓGICO LCC - LABORATÓRIO DE COMPUTAÇÃO CIENT~FICA.[r] ... See full document
418
Publicações do PESC Análise de Grupamento
... Evidentemente, nesse caso, como as distâncias calculadas são diferentes para os dados brutos e os dados transformados, o resultado final do pro- cesso de agrupamento será, de maneira[r] ... See full document
171
Publicações do PESC Tradutor MICROLOBAN
... bem como um dispositivo para dar 2s sentenças de linguagem uma estrutura Ütil.. Outros tipos de gramsticas com diferentes defi-[r] ... See full document
125
Publicações do PESC Um Processador Edison
... fonte onde x pode ser usada para representar esta entidade. Em geral o alcance da um extende-se desde a sua decfamjiio atii a fim da bloco, com as seguintes regras adicionais[r] ... See full document
70
Publicações do PESC Um Gerador de Diálogos
... No entanto, apesar do grande nhero de trabalhos reportados, utilização da linguagem natural nesse tipo de sis - temas, está ainda na fase de pesquisa - Schneiderman (37). Outros,[r] ... See full document
278
Publicações do PESC Hipergrafos Direcionados
... Com o que temos podemos dizer que as instruções que são destino de um mesmo hiper-arco podem ser executadas em paralelo (co-rotinas); e se de um vértice sai mais de um hiper-a[r] ... See full document
146
Publicações do PESC Morfologia da Negociação
... Como uma alternativa para a solução dos conflitos, a tomada de decisão pode ser realizada por uma terceira parte através da decisão administrativa ou arbitragem que são técnicas que ev[r] ... See full document
12
Publicações do PESC Dados Autonômicos
... a) Verificar se o sistema se auto-otimiza em relação à junção de regras de modo a obter a quantidade de notícias que o usuário deseja. b) Verificar se o sistema se au[r] ... See full document
138
Publicações do PESC Bandwidth em Grafos
... Como dito na se¸c˜ao anterior, o resultado de bandwidth para cografos estende o obtido anteriormente para quasi-threshold. E esse feito deve-se `a demonstra¸c˜ao, no artigo [35], de como calcular em tempo O(1) o ... See full document
100
Publicações do PESC Evolução do Conhecimento
... A inser¸c˜ ao de uma nova informa¸c˜ ao a um agente ´ e chamada de atualiza¸c˜ ao (“up- date”) e ´ e representada por um Modelo de A¸c˜ ao (Action Model). Por exemplo, um agente aprende que a proposi¸c˜ ao ψ ´ e ... See full document
111
temas relacionados