1368 search results - page 68 / 274 » Recursive modules for programming |
DAC
2007
ACM
14 years 9 months ago
2007
ACM
High efficiency low voltage DC-DC conversion is a key enabler to the design of power-efficient integrated circuits. Typically a star configuration of the DC-DC converters, where o...
LICS
1996
IEEE
14 years 2 days ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
CASES
2007
ACM
13 years 12 months ago
2007
ACM
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management (DMM); however, it is a challeng...
WSC
1998
13 years 9 months ago
1998
A method of modeling transportation-inventory systems is proposed in an attempt to flexibly describe the systems in which a lot of kinds of items are ordered to transport, transpo...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...