Sciweavers

416 search results - page 9 / 84
» The ruby intermediate language
Sort
View
VL
1995
IEEE
121views Visual Languages» more  VL 1995»
13 years 11 months ago
Buffering of Intermediate Results in Dataflow Diagrams
Buffering of intermediate results in dataflow diagrams can significantly reduce latency when a user browses these results or re-executes a diagram with slightly different inputs. ...
Allison Woodruff, Michael Stonebraker
CODES
1994
IEEE
13 years 11 months ago
Towards a declarative framework for hardware-software codesign
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
Wayne Luk, Teddy Wu
LICS
1994
IEEE
13 years 11 months ago
Categories, Allegories and Circuit Design
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
Carolyn Brown, Graham Hutton
EGOV
2004
Springer
14 years 25 days ago
e-Government Intermediation
The recently proposed intermediation schemes in e-government are meant to speed up and facilitate integration and access to services offered by local and regional public sector ser...
Aljosa Pasic, Anne-Marie Sassen, Alicia Garcia
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
14 years 2 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...