1088 search results - page 157 / 218 » Tools for support of automata-based programming |
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
PADS
1996
ACM
15 years 4 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
ICSM
1994
IEEE
15 years 4 months ago
1994
IEEE
The user interface is an integral part of any application. This is especially true for reverse engineering environments, since the understanding process depends both on the user&#...
GLOBECOM
2007
IEEE
15 years 3 months ago
2007
IEEE
We consider optimal allocation of resources to users in a downlink OFDMA system to support heterogeneous applications consisting of both deadline-sensitive (DS) and best-effort (BE...
ASAP
2004
IEEE
15 years 3 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...