Sciweavers

1802 search results - page 329 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
FCCM
2002
IEEE
171views VLSI» more  FCCM 2002»
15 years 4 months ago
Coarse-Grain Pipelining on Multiple FPGA Architectures
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro...
HICSS
2002
IEEE
114views Biometrics» more  HICSS 2002»
15 years 4 months ago
Advanced Question and Answering Systems for Community Development
The Internet has made transfer of knowledge of successful community development programs and processes possible by allowing practitioners to connect through computer-mediated-comm...
Queen Esther Booker, Ana V. Lopez, Michael McQuaid...
WCRE
1999
IEEE
15 years 3 months ago
Recovering Code to Documentation Links in OO Systems
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...
ICCAD
1994
IEEE
95views Hardware» more  ICCAD 1994»
15 years 3 months ago
Provably correct high-level timing analysis without path sensitization
- This paper addresses the problem of true delay estimation during high level design. The existing delay estimation techniques either estimate the topological delay of the circuit ...
Subhrajit Bhattacharya, Sujit Dey, Franc Brglez
ECAI
2006
Springer
15 years 2 months ago
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
Cédric Pralet, Gérard Verfaillie, Th...