A local and global tour on MOMoT

Software and Systems Modeling - Many model transformation scenarios require flexible execution strategies as they should produce models with the highest possible quality. At the same time,...     

Storage performance-metrics and benchmarks

The metrics and benchmarks used in storage performance evaluation are discussed. The technology trends taking place in storage systems, such as disk and tape evolution, disk arrays, and solid-state disks, are highlighted. The current popular I/O benchmarks are then described, reviewed, and run on three systems: a DECstation 5000/200 running the Sprite Operating System, a SPARCstation 1+ running SunOS, and an HP Series 700 (Model 730) running HP-UX. Two approaches to storage benchmarks-LADDIS and a self-scaling benchmark with predicted performance-are also described     

Prokinetic agents in postgastrectomy patients

Postgastrectomy syndromes are uncommon but, unfortunately, frustrating for both patient and physician, because treatment with prokinetic agents is often of limited benefit. This article examines the evidence for efficacy of available prokinetic drugs in the management of these difficult disorders.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

通往10 Gbps以太网的低速之路

较低的速度通常不能算是创新，但在10 Gbps以太网的领域内，两种“低速”互连标准，即LX4和CX4，正在降低实现成本，并实现新的应用。     

What does the object decision task measure? Reflections on the basis of evidence from semantic dementia.

The authors investigated the impact of semantic knowledge on visual object analysis by assessing the performance of patients with semantic dementia on a different-views object matching test and on 2 object decision tests differing, for example, in whether the nonreal items were nonsense objects or chimeras of 2 real objects. On average, the patients scored normally on both the object matching and the object decision test including nonsense objects but were impaired on the object decision test including chimeras; this latter was also the only visual object test that correlated significantly with degree of semantic impairment. These findings demonstrate that object decision is not a single task or ability and that it is not necessarily independent of conceptual knowledge. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

冷漠的灯光和火热的Guru

我已经看见了未来。它充满耀眼的光芒。这种特殊的未来的具体体现就是由Lumileds生产并打上Luxeon的品牌铛售的高亮度发光二极管，该公司把一些采用了最新技术的样机带到了我们的办公室，这给我们留下了深刻印象。     

Collaborative cross-checking to enhance resilience

Resilience, the ability to adapt or absorb disturbance, disruption, and change, may be increased by team processes in a complex, socio-technical system. In particular, collaborative cross-checking is a strategy where at least two individuals or groups with different perspectives examine the others’ assumptions and/or actions to assess validity or accuracy. With this strategy, erroneous assessments or actions can be detected quickly enough to mitigate or eliminate negative consequences. In this paper, we seek to add to the understanding of the elements that are needed in effective cross-checking and the limitations of the strategy. We define collaborative cross-checking, describe in detail three healthcare incidents where collaborative cross-checks played a key role, and discuss the implications of emerging patterns.