4,974 research outputs found
The lambda-dimension of commutative arithmetic rings
It is shown that every commutative arithmetic ring has -dimension
. An example of a commutative Kaplansky ring with -dimension 3
is given. If satisfies an additional condition then -dim(
Protocol-based verification of message-passing parallel programs
© 2015 ACM.We present ParTypes, a type-based methodology for the verification of Message Passing Interface (MPI) programs written in the C programming language. The aim is to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks. We develop a protocol language based on a dependent type system for message-passing parallel programs, which includes various communication operators, such as point-to-point messages, broadcast, reduce, array scatter and gather. For the verification of a program against a given protocol, the protocol is first translated into a representation read by VCC, a software verifier for C. We successfully verified several MPI programs in a running time that is independent of the number of processes or other input parameters. This contrasts with alternative techniques, notably model checking and runtime verification, that suffer from the state-explosion problem or that otherwise depend on parameters to the program itself. We experimentally evaluated our approach against state-of-the-art tools for MPI to conclude that our approach offers a scalable solution
The Development Of Proto-argumentation In Adult-baby Interaction
O presente artigo focaliza a gênese de produções proto-opositivas infantis, definidas como movimentos corporais, gestuais e vocalizações infantis interpretadas como oposições a comandos, vontades e ações. Assume-se, como proposto em Leitão (2010; LEITÃO; FERREIRA, 2006), que tais produções constituam antecedentes remotos da contraposição e da resposta à oposição, vistas como constituintes centrais da argumentação. Fundamentando-se em referências que inserem a gênese da ação e cognição humanas no âmbito das relações dialogicamente constituídas (BAKHTIN; VOLOCHINOV, 2009; VYGOTSKY, 1998, 2001; WERTSCH, 1978), este estudo analisa registros videográficos produzidos com duas crianças, entre a quarta semana e os seis meses de vida, em interação com adultos, em contexto doméstico. Com base em análises micro e macrogenéticas desses registros (GRANOTT; PARZIALE, 2002), três momentos foram identificados no processo de desenvolvimento de produções proto-opositivas: atribuição de sentido opositivo ao choro; construção de produções infantis como ‘recusa’ e, por fim, interpretação da ação infantil como contraposição complexa. Neste último, que implica um deslocamento do lugar discursivo atribuído à criança (LEITÃO, 2012), esta passa a ser vista não só como oponente de ações iniciadas pelo adulto, mas, também, como proponente de novas ações.60111914
Deterministically Computing Reduction Numbers of Polynomial Ideals
We discuss the problem of determining reduction number of a polynomial ideal
I in n variables. We present two algorithms based on parametric computations.
The first one determines the absolute reduction number of I and requires
computation in a polynomial ring with (n-dim(I))dim(I) parameters and n-dim(I)
variables. The second one computes via a Grobner system the set of all
reduction numbers of the ideal I and thus in particular also its big reduction
number. However,it requires computations in a ring with n.dim(I) parameters and
n variables.Comment: This new version replaces the earlier version arXiv:1404.1721 and it
has been accepted for publication in the proceedings of CASC 2014, Warsaw,
Polna
- …