Sciweavers

2106 search results - page 5 / 422
» Specifying C concepts
Sort
View
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 4 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 9 months ago
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Ce...
62
Voted
IWPC
2007
IEEE
15 years 6 months ago
Recovering Concepts from Source Code with Automated Concept Identification
Maurice M. Carey, Gerald C. Gannod
DASFAA
1995
IEEE
80views Database» more  DASFAA 1995»
15 years 3 months ago
An Event Algebra for Specifying and Scheduling Workflows
Munindar P. Singh, Greg Meredith, Christine Tomlin...
68
Voted
AAMAS
2010
Springer
14 years 12 months ago
Specifying and monitoring economic environments using rights and obligations
Loizos Michael, David C. Parkes, Avi Pfeffer