This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different challenges that were posed and the solutions developed by the teams. We conclude with a discussion about the value of such competitions and lessons learned from them.

In this paper we ask when will a firm earn more profits from selling the attention of its customers to advertisers than from selling the underlying product itself. In other words, when will a firm become an advertising " medium " ? We investigate this decision as a function of the intensity and nature of competition. We show that regardless of inherent product value to customers, when the firm ...

How can practices of knowledge management (KM) enable organizational learning to occur and then lead toward a learning organization? We seek the answer to this question by exploring three cases, Winbond, Worldpeace, and TSMC, chosen respectively from upstream, midstream, and downstream firms in the IC industry in Taiwan. We studied KM practices focusing on aspects of knowledge creation, storage...

The role of cubic ice, ice Ic, in the nucleation of ice from supercooled water has been widely debated in the past decade. Computer simulations can provide insightful information about the mechanism of ice nucleation at a molecular scale. In this work, we use molecular dynamics to study the competition between ice Ic and hexagonal ice, ice Ih, in the process of ice nucleation. Using a seeding a...

This article develops a real options model to study the interaction of industry structure and takeovers. In an asymmetric industry equilibrium, firms have an endogenous incentive to merge when restructuring decisions are motivated by operating and strategic benefits. The model predicts that (i) merger activities are more likely in more concentrated industries or in industries that are more expo...

Based on some stylised fact, and using a proprietary database of more than 750 agreements spanning from collaborations to merger and acquisition agreements between 1997 and 2003, we try in this paper to characterise and understand the movement of industry concentration. We ask whether the smart card industry will know a monitoring oligopolistic concentration on the fundamental assets and market...

IC design is in a revolutionary phase at present. It could even be said that IC design is at the beginning of a new epoch. Design is moving toward nano-size. Thus, design techniques are advancing so rapidly that existing design knowledge quickly becomes obsolete. The IC design industry needs engineers with an integrated design perspective, real hands-on experience and well developed skills in p...