Sciweavers

3676 search results - page 500 / 736
» Scalable component abstractions
Sort
View
POPL
1997
ACM
15 years 10 months ago
First-class Polymorphism with Type Inference
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
Mark P. Jones
IPPS
1996
IEEE
15 years 10 months ago
Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
Raju Pandey, James C. Browne
ITC
1996
IEEE
98views Hardware» more  ITC 1996»
15 years 10 months ago
Mixed-Mode BIST Using Embedded Processors
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
Sybille Hellebrand, Hans-Joachim Wunderlich, Andre...
DAC
1996
ACM
15 years 10 months ago
Early Power Exploration - A World Wide Web Application
Abstract: Exploration at the earliest stages of the design process is an integral component of effective low-power design. Nevertheless, superficial high-level analyses with insuff...
David Lidsky, Jan M. Rabaey
LICS
1994
IEEE
15 years 10 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