Sciweavers

2106 search results - page 5 / 422
» Specifying C concepts
Sort
View
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
14 years 13 days ago
A Powerful System Design Methodology Combining OCAPI and Handel-C for Concept Engineering
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
Klaus Buchenrieder, Andreas Pyttel, Alexander Sedl...
DSL
2009
13 years 5 months ago
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Ce...
DASFAA
1995
IEEE
80views Database» more  DASFAA 1995»
13 years 11 months ago
An Event Algebra for Specifying and Scheduling Workflows
Munindar P. Singh, Greg Meredith, Christine Tomlin...
AAMAS
2010
Springer
13 years 7 months ago
Specifying and monitoring economic environments using rights and obligations
Loizos Michael, David C. Parkes, Avi Pfeffer