Teaching real-time with a scheduler simulator

In this paper we describe a scheduler simulator for real-time tasks, RTsim, that can be used as a tool to teach real-time scheduling algorithms. It simulates a variety of preprogrammed scheduling policies for single and multi-processor systems and simple algorithm variants introduced by its user. Using RTsim students can conduct experiments that will allow them to understand the effects of each policy given different load conditions and learn which policy is better for different workloads. We show how to use RTsim as a learning tool and the results achieved with its application on the Real-Time Systems course taught at the B.Sc. on Computer Science at Paulista State University - Unesp - at Rio Preto.

Redescription and reevaluation of the generic status of Leptodactylus dantasi (Amphibia, Anura, Leptodactylidae) and description of its unusual advertisement call

Leptodactylus dantasi Bokermann is redescribed from adult specimens collected in Parque Nacional da Serra do Divisor, State of Acre, Brazil, near the border between the Brazilian state of Acre and Peru. We propose the inclusion of this species in the genus Hydrolaetare. A new diagnostic character observed for the genus is the presence of fringes of fingers, and fringes and webbing of toes, finely serrate; the serrate edge of the fringe and webbing can be keratinized in males, females, and subadults. Hydrolaetare dantasi (Bokermann) is characterized by robust body and limbs, a broad and depressed head, slightly shorter than wide, and long, pointed and basally webbed toes. Hydrolaetare dantasi differs from the only other species in this genus, Hydrolaetare schmidti (Cochran and Goin), mainly by having toes webbed basally (fully webbed in H. schmidti). The advertisement call of H. dantasi is composed of two components; an initial note produced by the impact of the vocal sac against the ground and a second note corresponding to a long whistle of ascending frequency. The initial note is a percussive sound and represents an unusual form of sound emission in anurans; the second note is a vocalization.

Acoustic repertoire and calling behavior of Scinax fuscomarginatus (Anura, Hylidae)

Vocalizations are important in anuran communication, especially during the breeding season. Calling affects spatial organization of males at breeding sites, promotes attraction of new individuals to the chorus, and attracts mature females for reproduction. We describe four distinct vocalizations (advertisement calls, sporadic calls, and two types of aggressive calls) emitted by adult males of Scinax fuscomarginatus. With the exception of the advertisement call, the remaining descriptions are novel. We also describe calling sites, calling season, and nightly calling activity. Fieldwork was made in a fragment of Cerrado (Estação Ecológica de Itirapina), Municipalities of Itirapina and Brotas, State of São Paulo, southeastern Brazil. At this ecological station, S. fuscomarginatus exhibits a complex acoustic repertoire, social interactions and a prolonged reproductive pattern similar to observations of congeneric species at other localities. Copyright 2005 Society for the Study of Amphibians and Reptiles.

A new species of Sphaenorhynchus (Anura; Hylidae) from Brazil

A new species of Sphaenorhynchus, probably closely related to S. surdus, is described from the states of São Paulo, Paraná, and Santa Catarina in the southeast and south of Brazil. This species, Sphaenorhynchus caramaschii sp. nov., is an intermediate species in size within the genus and is characterized by the absence of external tympanum, by the snout from truncate to slightly mucronate in dorsal view and protruding in lateral view, by the presence of a dark line from the snout to the eye, and mainly by differences in the advertisement call (a long call with several notes). It is found in open areas, calling during the wet season of the year, generally, in the deepest area of permanent ponds. Illustrations of the adults, descriptions of the advertisement calls, and a map of geographic distribution of the species are provided. Also, we provide data on the distribution and natural history of S. surdus and describe its advertisement call. Copyright © 2007 Magnolia Press.

Nuevas actividades económicas surgidas a partir del paradigma TIC: el sector del software y los servicios de call center

Incluye bibliografía

Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

Morphometric and bioacoustic data on three species of Pseudopaludicola Miranda-Ribeiro, 1926 (Anura: Leptodactylidae: Leiuperinae) described from chapada dos guimarães, mato Grosso, Brazil, with the revalidation of pseudopaludicola ameghini (Cope, 1887)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

The advertisement call of dendropsophus tritaeniatus (Bokermann, 1965) (Anura: Hylidae)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Calling behavior and parasite intensity in Treefrogs, Hypsiboas prasinus

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Desequilíbrio de ligação e associação entre polimorfismos de base única com maciez da carne e espessura de gordura em bovinos Nelore utilizando painéis de alta densidade

Pós-graduação em Genética e Melhoramento Animal - FCAV

Avaliação do acesso à saúde aos níveis de atenção de maior complexidade no município de Marília/SP, sob a ótica da integralidade

Pós-graduação em Enfermagem (mestrado profissional) - FMB

A call for greater cooperation and dialogue between Latin America and the Caribbean

.--A call for greater cooperation and dialogue between Latin America and the Caribbean.--Latin America and the Caribbean urged to pursue avenues for integration.--ECLAC: Caribbean countries will be negatively affected by Climate Change.--Countries of Latin America and the Caribbean Seek a Regional Consensus on Sustainable Development.--UN-CARICOM Meeting Identifies Regional Priorities.--Latin America and the Caribbean region continues on growth path.--Exports from Latin America and the Caribbean will increase by 27% in 2011

Latin America and the Caribbean: looking ahead after the Millennium Development Goals: Regional monitoring report on the Millennium Development Goals in Latin America and the Caribbean, 2015

Foreword by Alicia Bárcena