Sciweavers

770 search results - page 32 / 154
» Abstract Yourself With Modules
Sort
View
DAC
1998
ACM
16 years 1 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
123
Voted
ICFP
2005
ACM
16 years 12 days ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
106
Voted
GPCE
2007
Springer
15 years 6 months ago
Safe composition of product lines
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
Sahil Thaker, Don S. Batory, David Kitchin, Willia...
123
Voted
IROS
2006
IEEE
581views Robotics» more  IROS 2006»
15 years 6 months ago
A 3D Fax Machine based on Claytronics
Abstract— This paper presents a novel application of modular robotic technology. Many researchers expect manufacturing technology will allow robot modules to be built at smaller ...
Padmanabhan Pillai, Jason Campbell, Gautam Kedia, ...
104
Voted
CD
2004
Springer
15 years 5 months ago
Dynamic Deployment of IIOP-Enabled Components in the JBoss Server
Abstract. JBoss is an extensible Java application server that affords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
Francisco Reverbel, Bill Burke, Marc Fleury