12774 search results - page 192 / 2555 » A Framework for Proof Systems |
171
click to vote
TIM
2010
14 years 11 months ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...
140
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
125
click to vote
ECIR
2009
Springer
16 years 1 months ago
2009
Springer
Evaluating complex system is a complex task. Evaluation campaigns are organized each year to test different systems on global results, but they do not evaluate the relevance of th...
145
click to vote
IWCMC
2006
ACM
15 years 10 months ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
133
click to vote
APSEC
1997
IEEE
15 years 9 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...