In a letter to Bertrand Russell, Wittgenstein complained that the British philosopher did not understand the main message of the Tractatus. He explained that “the main point is the theory of what can be expressed by propositions—i.e., by language . . . and what cannot be expressed by propositions, but only shown; which, I believe, is the cardinal problem of philosophy” (qtd. in Stern 69–70). Th...

The study focuses on the critical interlayer thickness for averting pore formation during transient liquid phase (TLP) bonding in the Cu–Sn system. Such pores are a consequence of the growth and subsequent contact of Cu6Sn5 intermetallic grains on the two surfaces to be bonded, prior to the formation of the transient liquid phase. A criterion for the critical interlayer thickness is developed, ...

This paper presents an experiment in which an implementation of the client side of the SSH Transport Layer Protocol (SSH-TLP) was semi-automatically derived according to a model-driven development paradigm that leverages formal methods in order to obtain high correctness assurance. The approach used in the experiment starts with the formalization of the protocol at an abstract level. This model...

Emerging applications such as forest fire monitoring have increasing demands on WSN to transmit data in real-time. In order to ensure real-time data transmission, it requires that the operating system of a node should schedule tasks in real-time. TinyOS is one of the most popular operation systems that support multifarious applications. However, its FIFO scheduling strategy does not guarantee r...

Thread level parallelism (TLP) is a key technology to coming generation of high performance processors. Although it provides higher processing capability, the loss of compatibility with existing processors is a crucial issue. This research is motivated by the following two points: (1) TLP requires multithread programming which is rather di cult for ordinary programmers, or complexed compilation...

The wave drift forces on tension leg platforms (TLP) are contributed by secondorder potential and viscous wave load effects, the fluctuations in wave surface elevation and the influence of platform displaced position on the wave excitation. These forces are expressed in terms of in phase and out of phase drift forces. In this study, computationally efficient time domain and frequency domain bas...

Verifying a 64-bit multiplier has a computational complexity that puts it beyond the grasp of current finite-state algorithms, including those based upon homomorphic reduction, the induction principle, and bdd fixed-point algorithms. Theorem proving, while not bound by the same computational constraints, may not be feasible for routinely coping with the complex, low-level details of a real mult...

Multiprocessing is already prevalent in servers, where multiple clients present an obvious source of thread level parallelism. The case for multiprocessing is less clear for desktop applications, however processor architects are already designing processors that count on the availability of concurrently runnable threads. In this paper we examine a wide variety of existing desktop workloads (ove...