968 resultados para Execution semantics
Resumo:
A large body of research analyzes the runtime execution of a system to extract abstract behavioral views. Those approaches primarily analyze control flow by tracing method execution events or they analyze object graphs of heap snapshots. However, they do not capture how objects are passed through the system at runtime. We refer to the exchange of objects as the object flow, and we claim that object flow is necessary to analyze if we are to understand the runtime of an object-oriented application. We propose and detail Object Flow Analysis, a novel dynamic analysis technique that takes this new information into account. To evaluate its usefulness, we present a visual approach that allows a developer to study classes and components in terms of how they exchange objects at runtime. We illustrate our approach on three case studies.
Resumo:
Conventional debugging tools present developers with means to explore the run-time context in which an error has occurred. In many cases this is enough to help the developer discover the faulty source code and correct it. However, rather often errors occur due to code that has executed in the past, leaving certain objects in an inconsistent state. The actual run-time error only occurs when these inconsistent objects are used later in the program. So-called back-in-time debuggers help developers step back through earlier states of the program and explore execution contexts not available to conventional debuggers. Nevertheless, even back-in-time debuggers do not help answer the question, ``Where did this object come from?'' The Object-Flow Virtual Machine, which we have proposed in previous work, tracks the flow of objects to answer precisely such questions, but this VM does not provide dedicated debugging support to explore faulty programs. In this paper we present a novel debugger, called Compass, to navigate between conventional run-time stack-oriented control flow views and object flows. Compass enables a developer to effectively navigate from an object contributing to an error back-in-time through all the code that has touched the object. We present the design and implementation of Compass, and we demonstrate how flow-centric, back-in-time debugging can be used to effectively locate the source of hard-to-find bugs.
Resumo:
Context-dependent behavior is becoming increasingly important for a wide range of application domains, from pervasive computing to common business applications. Unfortunately, mainstream programming languages do not provide mechanisms that enable software entities to adapt their behavior dynamically to the current execution context. This leads developers to adopt convoluted designs to achieve the necessary runtime flexibility. We propose a new programming technique called Context-oriented Programming (COP) which addresses this problem. COP treats context explicitly, and provides mechanisms to dynamically adapt behavior in reaction to changes in context, even after system deployment at runtime. In this paper we lay the foundations of COP, show how dynamic layer activation enables multi-dimensional dispatch, illustrate the application of COP by examples in several language extensions, and demonstrate that COP is largely independent of other commitments to programming style.
Resumo:
Disturbances of the motor and sensory system as well as an alteration of the preparation of movements have been reported to play a role in the pathogenesis of dystonias. However, it is unclear whether higher aspects of cortical – like cognitive – functions are also involved. Recently, the NoGo-anteriorization (NGA) elicited with a visual continuous performance test (CPT) during recording of a 21-channel electroencephalogram has been proposed as an electrophysiological standard-index for cognitive response control. The NGA consists of a more anterior location of the positive area of the brain electrical field associated with the inhibition (NoGo-condition) compared with that of the execution (Go-condition) of a prepared motor response in the CPT. This response control paradigm was applied in 16 patients with writer’s cramp (WC) and 14 age matched healthy controls. Topographical analysis of the associated event-related potentials revealed a significant (P < 0.05) NGA effect for both patients and controls. Moreover, patients with WC showed a significantly higher global field power value (P < 0.05) in the Go-condition and a significantly higher difference-amplitude (P < 0.05) in the NoGo-condition. A source location analysis with the low resolution electromagnetic tomography (LORETA) method demonstrated a hypoactivity for the Go-condition in the parietal cortex of the right hemisphere and a hyperactivity in the NoGo-condition in the left parietal cortex in patients with WC compared with healthy controls. These results indicate an altered response control in patients with WC in widespread cortical brain areas and therefore support the hypothesis that the pathogenesis of WC is not restricted to a pure sensory-motor dysfunction.
Resumo:
Evidence suggests that superior motor performance coincides with a longer duration of the last fixation before movement initiation, an observation called “quiet eye” (QE). Although the empirical findings over the last two decades underline the robustness of the phenomenon, little is known about its functional role in motor performance. Therefore, a novel paradigm is introduced, testing QE duration as an independent variable by experimentally manipulating the onset of the last fixation before movement unfolding. Furthermore, this paradigm is employed to investigate the functional mechanisms behind the QE phenomenon by manipulating the predictability of the target position and thereby the amount of information to be processed over the QE period. The results further support the assumption that QE affects motor performance, with experimentally prolonged QE durations increasing accuracy in a throwing task. However, it is only under a high information-processing load that a longer QE duration is beneficial for throwing performance. Therefore, the optimization of information processing, particularly in motor execution, turns out to be a promising candidate for explaining QE benefits on a functional level.
Resumo:
The execution of a project requires resources that are generally scarce. Classical approaches to resource allocation assume that the usage of these resources by an individual project activity is constant during the execution of that activity; in practice, however, the project manager may vary resource usage over time within prescribed bounds. This variation gives rise to the project scheduling problem which consists in allocating the scarce resources to the project activities over time such that the project duration is minimized, the total number of resource units allocated equals the prescribed work content of each activity, and various work-content-related constraints are met. We formulate this problem for the first time as a mixed-integer linear program. Our computational results for a standard test set from the literature indicate that this model outperforms the state-of-the-art solution methods for this problem.
Resumo:
Integrating physical objects (smart objects) and enterprise IT systems is still a labor intensive, mainly manual task done by domain experts. On one hand, enterprise IT backend systems are based on service oriented architectures (SOA) and driven by business rule engines or business process execution engines. Smart objects on the other hand are often programmed at very low levels. In this paper we describe an approach that makes the integration of smart objects with such backends systems easier. We introduce semantic endpoint descriptions based on Linked USDL. Furthermore, we show how different communication patterns can be integrated into these endpoint descriptions. The strength of our endpoint descriptions is that they can be used to automatically create REST or SOAP endpoints for enterprise systems, even if which they are not able to talk to the smart objects directly. We evaluate our proposed solution with CoAP, UDP and 6LoWPAN, as we anticipate the industry converge towards these standards. Nonetheless, our approach also allows easy integration with backend systems, even if no standardized protocol is used.
Resumo:
So far, social psychology in sport has preliminary focused on team cohesion, and many studies and meta analyses tried to demonstrate a relation between cohesiveness of a team and it's performance. How a team really co-operates and how the individual actions are integrated towards a team action is a question that has received relatively little attention in research. This may, at least in part, be due to a lack of a theoretical framework for collective actions, a dearth that has only recently begun to challenge sport psychologists. In this presentation a framework for a comprehensive theory of teams in sport is outlined and its potential to integrate the following presentations is put up for discussion. Based on a model developed by von Cranach, Ochsenbein and Valach (1986), teams are information processing organisms, and team actions need to be investigated on two levels: the individual team member and the group as an entity. Elements to be considered are the task, the social structure, the information processing structure and the execution structure. Obviously, different task require different social structures, communication and co-ordination. From a cognitivist point of view, internal representations (or mental models) guide the behaviour mainly in situations requiring quick reactions and adaptations, were deliberate or contingency planning are difficult. In sport teams, the collective representation contains the elements of the team situation, that is team task and team members, and of the team processes, that is communication and co-operation. Different meta-perspectives may be distinguished and bear a potential to explain the actions of efficient teams. Cranach, M. von, Ochsenbein, G., & Valach, L. (1986).The group as a self-active system: Outline of a theory of group action. European Journal of Social Psychology, 16, 193-229.
Resumo:
BACKGROUND Microvascular anastomosis is the cornerstone of free tissue transfers. Irrespective of the microsurgical technique that one seeks to integrate or improve, the time commitment in the laboratory is significant. After extensive previous training on several animal models, we sought to identify an animal model that circumvents the following issues: ethical rules, cost, time-consuming and expensive anesthesia, and surgical preparation of tissues required to access vessels before performing the microsurgical training, not to mention that laboratories are closed on weekends. METHODS Between January 2012 and April 2012, a total of 91 earthworms were used for 150 microsurgical training exercises to simulate vascular end-to-side microanastomosis. The training sessions were divided into ten periods of 7 days. Each training session included 15 simulations of end-to-side vascular microanastomoses: larger than 1.5 mm (n=5), between 1.0 and 1.5 mm (n=5), and smaller than 1.0 mm (n=5). A linear model with the main variables being the number of weeks (as a numerical covariate) and the size of the animal (as a factor) was used to determine the trend in time of anastomosis over subsequent weeks as well as the differences between the different size groups. RESULTS The linear model shows a significant trend (p<0.001) in time of anastomosis in the course of the training, as well as significant differences (p<0.001) between the groups of animals of different sizes. For microanastomoses larger than 1.5 mm, the mean anastomosis time decreased from 19.3±1.0 to 11.1±0.4 min between the first and last week of training (decrease of 42.5%). For training with smaller diameters, the results showed a decrease in execution time of 43.2% (diameter between 1.0 and 1.5 mm) and 40.9% (diameter<1.0 mm) between the first and last periods. The study demonstrates an improvement in the dexterity and speed of nodes execution. CONCLUSION The earthworm appears to be a reliable experimental model for microsurgical training of end-to-side microanastomoses. Its numerous advantages are discussed here and we predict training on earthworms will significantly grow and develop in the near future. LEVEL OF EVIDENCE III This journal requires that authors assign a level of evidence to each article. For a full description of these Evidence-Based Medicine ratings, please refer to the Table of Contents or the online Instructions to Authors www.springer.com/00266 .
Resumo:
This study tests whether cognitive failures mediate effects of work-related time pressure and time control on commuting accidents and near-accidents. Participants were 83 employees (56% female) who each commuted between their regular place of residence and place of work using vehicles. The Workplace Cognitive Failure Scale (WCFS) asked for the frequency of failure in memory function, failure in attention regulation, and failure in action execution. Time pressure and time control at work were assessed by the Instrument for Stress Oriented Task Analysis (ISTA). Commuting accidents in the last 12 months were reported by 10% of participants, and half of the sample reported commuting near-accidents in the last 4 weeks. Cognitive failure significantly mediated the influence of time pressure at work on near-accidents even when age, gender, neuroticism, conscientiousness, commuting duration, commuting distance, and time pressure during commuting were controlled for. Time control was negatively related to cognitive failure and neuroticism, but no association with commuting accidents or near-accidents was found. Time pressure at work is likely to increase cognitive load. Time pressure might, therefore, increase cognitive failures during work and also during commuting. Hence, time pressure at work can decrease commuting safety. The result suggests a reduction of time pressure at work should improve commuting safety.
Resumo:
Neurodegeneration in Parkinson's disease dementia (PDD) and dementia with Lewy bodies (DLB) affect cortical and subcortical networks involved in saccade generation. We therefore expected impairments in saccade performance in both disorders. In order to improve the pathophysiological understanding and to investigate the usefulness of saccades for differential diagnosis, saccades were tested in age- and education-matched patients with PDD (n = 20) and DLB (n = 20), Alzheimer's disease (n = 22) and Parkinson's disease (n = 24), and controls (n = 24). Reflexive (gap, overlap) and complex saccades (prediction, decision and antisaccade) were tested with electro-oculography. PDD and DLB patients had similar impairment in all tasks (P > 0.05, not significant). Compared with controls, they were impaired in both reflexive saccade execution (gap and overlap latencies, P < 0.0001; gains, P < 0.004) and complex saccade performance (target prediction, P < 0.0001; error decisions, P < 0.003; error antisaccades: P < 0.0001). Patients with Alzheimer's disease were only impaired in complex saccade performance (Alzheimer's disease versus controls, target prediction P < 0.001, error decisions P < 0.0001, error antisaccades P < 0.0001), but not reflexive saccade execution (for all, P > 0.05). Patients with Parkinson's disease had, compared with controls, similar complex saccade performance (for all, P > 0.05) and only minimal impairment in reflexive tasks, i.e. hypometric gain in the gap task (P = 0.04). Impaired saccade execution in reflexive tasks allowed discrimination between DLB versus Alzheimer's disease (sensitivity > or =60%, specificity > or =77%) and between PDD versus Parkinson's disease (sensitivity > or =60%, specificity > or =88%) when +/-1.5 standard deviations was used for group discrimination. We conclude that impairments in reflexive saccades may be helpful for differential diagnosis and are minimal when either cortical (Alzheimer's disease) or nigrostriatal neurodegeneration (Parkinson's disease) exists solely; however, they become prominent with combined cortical and subcortical neurodegeneration in PDD and DLB. The similarities in saccade performance in PDD and DLB underline the overlap between these conditions and underscore differences from Alzheimer's disease and Parkinson's disease.
Resumo:
Die vorliegenden Beiträge in deutscher und französischer Sprache befassen sich mit Aspekten der Rechtshilfe in internationalen Zivil- und Handelsprozessen. Zur Zustellung von gerichtlichen und aussergerichtlichen Urkunden sowie zur rechtshilfeweisen Beweiserhebung (z. B. Einvernahme mittels Videokonferenz) äussern sich Dr. Alexander Markus sowie Dr. Danielle Gauthey Ladner. Dabei wird insbesondere auf die neue Wegleitung des Bundesamtes für Justiz zu den verschiedenen Haager Übereinkommen eingegangen. Alexander Hilfiker erläutert die Möglichkeiten der Internet-Recherche. Die menschlich vielfach schwierigen Probleme der Kindesentführungen behandeln David Urwyler, Sonja Hauser und Hervé Boéchat. Auf aktuelle Fragen der Anerkennung und Vollstreckung von Zivilurteilen gehen Dr. Samuel Baumgartner und Jean-Marc Wichser ein. Das Thema Vollstreckung von ausländischen Konkurserkenntnissen ist Gegenstand der Beiträge von Prof. Dr. Karl Spühler und von Prof. Dr. Sylvain Marchand.