Sciweavers

1260 search results - page 47 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
15 years 3 months ago
galsC: A Language for Event-Driven Embedded Systems
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
Elaine Cheong, Jie Liu
ICFP
2007
ACM
15 years 9 months ago
A type system for recursive modules
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
Derek Dreyer
FSTTCS
1998
Springer
15 years 1 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
ROOM
2000
14 years 11 months ago
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnel...
ANLP
1992
81views more  ANLP 1992»
14 years 11 months ago
Portable Natural Language Generation using SPOKESMAN
1 This paper reports on the SPOKESMAN natural language generation system, which is a domain independent text generator designed to incrementally produce text for an underlying appl...
Marie Meteer