2,772 research outputs found
Indigenous and institutional profile: Limpopo River Basin
River basins / Water resource management / History / Institutions / Social aspects / Legal aspects
Property-Based Testing - The ProTest Project
The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis.
The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang
António Ferreira, "Castro"
Es una reseña de la obra: António Ferreira, “Castro”, ed. org. por María Rosa Álvarez Sellers, 2000.It is a review of the work: António Ferreira, “Castro”, ed. org. by María Rosa Álvarez Sellers, 2000.É uma revisão do trabalho: António Ferreira, “Castro”, ed. org. por María Rosa Álvarez Sellers, 2000
António Ferreira, "Castro"
Es una reseña de la obra: António Ferreira, “Castro”, ed. org. por María Rosa Álvarez Sellers, 2000.It is a review of the work: António Ferreira, “Castro”, ed. org. by María Rosa Álvarez Sellers, 2000.É uma revisão do trabalho: António Ferreira, “Castro”, ed. org. por María Rosa Álvarez Sellers, 2000
Recommended from our members
The neurocognition of developmental disorders of language
Developmental disorders of language include developmental language disorder, motor-speech disorders such as articulation disorder and stuttering, and dyslexia. These disorders have been explained by various accounts, which generally focus on their behavioral rather than neural characteristics, their processing rather than learning impairments, and each disorder separately rather than together, despite their commonalities and comorbidities. Here we update and review a unifying neurocognitive account, the Procedural circuit Deficit Hypothesis (PDH). The PDH posits that abnormalities of brain structures underlying procedural memory (learning and memory that relies on the basal ganglia and associated circuitry) can explain numerous brain and behavioral characteristics, across learning and processing, in multiple disorders, including both commonalities and differences. We describe procedural memory, examine its role in multiple aspects of language, and then present the PDH and relevant evidence across language-related disorders. The PDH has substantial explanatory power, and both basic research and translational implications
- …