Sciweavers

502 search results - page 79 / 101
» Declarative Programming with Function Patterns
Sort
View
HCW
1998
IEEE
15 years 4 months ago
On the Interaction between Mobile Processes and Objects
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
Suresh Jagannathan, Richard Kelsey
AGP
1997
IEEE
15 years 4 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
ISLPED
1996
ACM
91views Hardware» more  ISLPED 1996»
15 years 4 months ago
Energy minimization using multiple supply voltages
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
Jui-Ming Chang, Massoud Pedram
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 3 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
FLAIRS
2006
15 years 1 months ago
Genetic Hierarchical Music Structures
Music has structure at many levels, from grand arrangements of verses and choruses down to patterns in small riffs and themes. A bracketed L-system -- the SARAH language -- is use...
Charles Fox