Integrated Path from Run-Time Measurements to Design Decisions: Case Study in Performance Analysis

Author(s):  
Marko Jaakola ◽  
Juho Eskeli ◽  
Markku Pollari ◽  
Teemu Kanstren ◽  
Jukka Kaariainen ◽  
...  
Author(s):  
Lu Xiao ◽  
Trina Joyce Sajo

Librarian 2.0 adopts user-centered approach. This paper reports the case study of a community-based participatory approach for training librarian 2.0. The findings suggest that this approach allows the students to practice user-centered interactions, identify and integrate the user’s needs into design decisions, and develop ways of collecting the user’s feedbacks.Les bibliothécaires 2.0 adoptent une approche centrée sur l’utilisateur. Cet article présente une étude de cas sur une approche participative et communautaire visant à former les bibliothécaires 2.0. Les résultats suggèrent que cette approche permet aux étudiants d’interagir avec les usagers, d’identifier les besoins, de les intégrer dans leur processus décisionnel et de développer des moyens de recueillir les commentaires des usagers. 


2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.


2021 ◽  
Author(s):  
Davide Astolfi ◽  
Gabriele Malgaroli ◽  
Filippo Spertino ◽  
Angela Amato ◽  
Andrea Lombardi ◽  
...  

2021 ◽  
Vol 2042 (1) ◽  
pp. 012116
Author(s):  
Pierson Clotilde ◽  
Soto Magán Victoria Eugenia ◽  
Aarts Mariëlle ◽  
Andersen Marilyne

Abstract Recent developments in the lighting research field have demonstrated the importance of a proper exposure to light to mediate several of our behavioral and physiological responses. However, we spend nowadays around 90% of our time indoors with an often quite limited access to bright daylight. To be able to anticipate how much the built environment actually influences our light exposure, and how much it may ultimately impact our health, well-being, and productivity, new computational tools are needed. In this paper, we present a first attempt at a simulation workflow that integrates a spectral simulation tool with a light-driven prediction model of alertness. The goal is to optimize the effects of light on building occupants, by informing the decision makers about the impact of different design choices. The workflow is applied to a case study to provide an example of what learnings can be expected from it.


Sign in / Sign up

Export Citation Format

Share Document