Sciweavers

1040 search results - page 110 / 208
» Controlling Aspect Reentrancy
Sort
View
DAC
1992
ACM
15 years 3 months ago
Synthesis from Production-Based Specifications
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
Andrew Seawright, Forrest Brewer
TAPSOFT
1993
Springer
15 years 3 months ago
Optimal Reductions in Interaction Systems
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
Andrea Asperti, Cosimo Laneve
EUROSYS
2007
ACM
15 years 3 months ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali
GLOBECOM
2009
IEEE
15 years 3 months ago
Scalable Support of Interdomain Routes in a Single AS
In this paper, we show a prototype implementation for a new architecture of supporting interdomain routes. It is widely recognized that the rapid growth of Internet is forcing a sc...
Cristel Pelsser, Akeo Masuda, Kohei Shiomoto
APWEB
2006
Springer
15 years 2 months ago
HVEM Grid: Experiences in Constructing an Electron Microscopy Grid
This paper proposes HVEM-Grid, which is the cornerstone for tele-instrumentation infrastructure. The proposed architecture is mainly oriented for people whose primary work is to ge...
Hyuck Han, Hyungsoo Jung, Heon Young Yeom, Hee S. ...