This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthesis algorithm transforms this asynchronous, modular specification into a synchronous, tightlycoupled, and fully pipelined circuit in which queues are implemented as finite buffers. Data is read from the buffers at the be...

Modularity accommodates uncertainty because the particular elements of a modular design may be changed after the fact and in unforeseen ways as long as the design rules are obeyed. Thus, within a modular architecture, new module designs may be substituted for older ones easily and at low cost. This chapter will make three basic points. First, we will show that modularity is a financial force th...

Excel lacks features for modular design. Had it such features, as do most programming languages, they would save time, avoid unneeded programming, make mistakes less likely, make code-control easier, help organisations adopt a uniform house style, and open business opportunities in buying and selling spreadsheet modules. I present Excelsior, a system for bringing these benefits to Excel.

This paper describes the DCU machine translation system in the evaluation campaign of the Joint Fifth Workshop on Statistical Machine Translation and Metrics in ACL-2010. We describe the modular design of our multi-engine machine translation (MT) system with particular focus on the components used in this participation. We participated in the English– Spanish and English–Czech translation tasks...

The popularity of Peer-to-Peer networks is increasing rapidly but developing new protocols for P2P systems is a very complex task as testing and evaluating distributed systems involves high effort. P2P simulators are being developed to tackle this difficulty, to reduce cost and to speed up development. We describe HiSim, a modular and highly scalable P2P network simulator based on the simulatio...

This paper discusses the way in which we constructed a framework for the publication on the web of historical sources at the Institute of Netherlands History (ING) in The Hague (The Netherlands). The framework is built using the web application platform Zope and is flexible because of its modular construction. This makes it possible to publishing heterogeneous research data with their own requi...

In this paper, we describe the machine translation system in the evaluation campaign of the Fourth Workshop on Statistical Machine Translation at EACL 2009. We describe the modular design of our multi-engine MT system with particular focus on the components used in this participation. We participated in the translation task for the following translation directions: French–English and English–Fr...

This paper will have two parts. In the first part the author will focus on the current status of remote experimentation designs and how this has impacted our education and research activities with a notion that whether we are moving too fast while its acceptance has not yet realized. While for the second part, the author will describe some of the developments of remote experiment designs throug...

We present an abstract specification theory that formalizes non-monotonic composition constructs from specification languages providing explicit non-monotonic mechanisms as a specification facility. This theory generalizes the institutional framework from Goguen and Burstall by adding defeasibility mechanisms to a given institution. The denotation of a specification module consists of defaults ...

This paper introduces the industrial design of the social robot ‘Flobi’. In total, three key concepts influenced the industrial design: First, the robot head of Flobi appears as a cartoon-like character and has a ‘hole-free’ design without any visible conjunctions. Second, Flobi has dynamic features to display not only primary emotions, but also shame, a typical secondary emotion. Third, the st...