Sciweavers

98 search results - page 2 / 20
» re 2006
Sort
View
MOR
2000
66views more  MOR 2000»
13 years 4 months ago
Periodic Orbits in a Class of Re-Entrant Manufacturing Systems
Ivonne Diaz-Rivera, Dieter Armbruster, Tom Taylor
JFP
2006
91views more  JFP 2006»
13 years 4 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
JSA
1998
94views more  JSA 1998»
13 years 4 months ago
Trading computing power with ReGTime
ReGTime1 (Rent Giga ops someTimes) is a software package for an envisioned \computing power market". ReGTime helps customers to search for providers who allow their workstati...
Bernd Dreier, Annja Huber, Theo Ungerer, Markus Za...