Sciweavers

2106 search results - page 5 / 422
» Specifying C concepts
Sort
View
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 2 months 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
14 years 7 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»
15 years 1 months ago
An Event Algebra for Specifying and Scheduling Workflows
Munindar P. Singh, Greg Meredith, Christine Tomlin...
AAMAS
2010
Springer
14 years 9 months ago
Specifying and monitoring economic environments using rights and obligations
Loizos Michael, David C. Parkes, Avi Pfeffer