2944 search results - page 361 / 589 » On Well Quasi-orders on Languages |
166
click to vote
IMSCCS
2006
IEEE
16 years 19 days ago
2006
IEEE
The equivalence of non-deterministic finite automata (NFA1 ), deterministic finite automata (DFA), regular expressions (RE), and parallel finite automata (PFA) with augmented r...
198
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
113
click to vote
ISCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
—A cell-based all-digital PWCL is presented in this paper. To improve design effort as well as facilitate systemlevel integration, the new design can be developed in hardware des...
178
click to vote
IWPC
2006
IEEE
16 years 19 days ago
2006
IEEE
JIRiSS (Information Retrieval based Software Search for Java) is a software exploration tool that uses an indexing engine based on an information retrieval method. JIRiSS is imple...
176
click to vote
WECWIS
2006
IEEE
16 years 18 days ago
2006
IEEE
Iterative Combinatorial Auctions (ICA) have been getting increasing attention in computer science and economics, as they provide an efficient solution to resource allocation prob...