698 search results - page 80 / 140 » Fast functional simulation using branching programs |
111
click to vote
IFL
2003
Springer
15 years 6 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
126
click to vote
MAGS
2007
15 years 1 months ago
2007
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting...
102
click to vote
IFIP
1999
Springer
15 years 5 months ago
1999
Springer
We describe a new method for design error diagnosis in digital circuits, that doesn’t use any error model. A diagnostic specific pre-analysis of the circuit extracts a subcircui...
100
click to vote
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
112
click to vote
CIA
2004
Springer
15 years 6 months ago
2004
Springer
At present several Java-based multi-agent platforms from different developers are available, but none of them fully supports agent mobility and communication inaccessibility. They...