Sciweavers

9145 search results - page 120 / 1829
» Description Logic Systems
Sort
View
DAGSTUHL
2003
15 years 2 months ago
Embedding a Hardware Description Language in Template Haskell
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
John T. O'Donnell
103
Voted
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
15 years 7 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...
EUSFLAT
2009
14 years 10 months ago
Training a Personal Alert System for Research Information Recommendation
Germán Hurtado Martín, Chris Corneli...