15416 search results - page 181 / 3084 » Embeddings of Computable Structures |
139
click to vote
AAECC
2007
Springer
15 years 4 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
150
click to vote
WCC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe a broad class of problems arising in the context of designing codes for DNA computing. We primarily focus on design considerations pertaining to the phen...
118
click to vote
FPGA
2005
ACM
15 years 9 months ago
2005
ACM
Recent works demonstrate several benefits of synthesizing software binaries onto FPGA hardware, including incorporating hardware design into established software tool flows with m...
115
click to vote
VLSID
2006
IEEE
16 years 4 months ago
2006
IEEE
Advances in Human Computer Interaction(HCI) technology has resulted in widespread development of natural language and speech applications. These applications are known to be compu...
147
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...