This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
Most control systems of flexible production cells have a hierarchical structure. They become very complicated and difficult to maintain and modify when the underlying production c...
J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J....
To demonstrate the flexibility and portability of both a schema-based software architecture and a message-passing hardware architecture, the two were integrated within a very shor...
Thomas R. Collins, Ronald C. Arkin, Andrew M. Hens...
In this paper we introduce the architecture of the script engine of a collaborative co-located discussion support system, named CoFFEE, and, in particular, we describe its extendib...
Furio Belgiorno, Rosario De Chiara, Ilaria Manno, ...
This paper examines the tradeoffs between flexibility, area, and power dissipation of programmable clock networks for FieldProgrammable Gate Arrays (FPGA's). The paper begins...