In this article we would like to address the following situation. Let f : X → C be an elliptic surface with section S0. We further assume that X is relatively minimal and smooth, and that all singular fibers are semistable, that is, are cycles of P’s (type “Im” in Kodaira’s notation, see [K]). Given a section S of f , it will meet one and only one component in every singular fiber. The fundamen...

Critical peak pricing (CPP) is a demand response program that can be used to maximize profits for a load serving entity in a deregulated market environment. Like other such programs, however, CPP is not free from the payback phenomenon: a rise in consumption after a critical event. This payback has a negative effect on profits and thus must be appropriately considered when designing a CPP schem...

To become more innovative, increasingly companies in Smart Living domain initiate and participate in trans-sector collaborations. Trans-sector collaboration is marked by involvement of various actors from distinct sectors with sometimes, if not often, conflicting strategic interests and incoherent operational business processes and procedures. To gain an in-depth insight into the actors’ relati...

Parallel image composition presents an attractive approach to run-time visualization of structured grid data. However, certain configurations of grid boundaries prevent composition from being performed correctly. In particular, when the boundary between two partitions contains concave sections, the partitions may no longer be depth sorted correctly, a requirement for some visualization techniqu...

Mutual exclusion in shared-memory multiprocessors is realized by employing a lock to determine the processor among those which compete for the critical section. Accesses to such a mutual exclusion lock may create heavy synchronization traffic and/or serious contention over the network, thereby degrading system performance considerably. In this paper, we introduce an efficient scheme which keeps...

In d istributedsystems,cooperatingprocessesshareboth local and remotersources. Chance isveryhighthatmultipleprocessesmakesimultaneous requests to the same resource. If the resourcerequires mutually exclusive access (critical section CS), thensomeregulation isneeded to access it for ensuring synchronizedaccess of the resources thatonly one process could use the resource at a given time. Th is is...

We demonstrate and explain a simple and efficient way to remove gas bubbles from liquid-filled microchannels, by integrating a hydrophobic porous membrane on top of the microchannel. A prototype chip is manufactured in hard, transparent polymer with the ability to completely filter gas plugs out of a segmented flow at rates up to 7.4 ll/s/mm of membrane area. The device involves a bubble genera...

This paper addresses two basic issues. First, the feasibility of the model is exhibited by introducing a relatively straightforward and efficient parallel commti phase algorithm in which no I/O operations are associated with a critical section of the TM. Second, by simulation experiments, a concurrency control method in which readers use certification whereas writers use 2PL and do not wait for...

We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two. Unlike the traditional synchronization primitives used in concurrent separation logic (locks and critical sections), Pthreads barriers e...

We outline our recent efforts in developing MIT Lincoln Laboratory’s Mapping and Optimization Runtime Environment (LLMORE). The LLMORE framework consists of several components that together estimate and optimize performance critical sections of an application. This framework can be used to improve the performance of parallel applications and as an important tool for analyzing different hardware...