178 search results - page 36 / 36 » Power Compiler: A Gate-Level Power Optimization and Synthesi... |
ICFP
2006
ACM
14 years 5 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
ECCB
2005
IEEE
13 years 11 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
ANCS
2011
ACM
12 years 5 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...