2813 search results - page 8 / 563 » Formalizing Architectural Connection |
FPGA
2005
ACM
14 years 27 days ago
2005
ACM
Abstract—As the logic capacity of field-programmable gate arrays (FPGAs) increases, they are increasingly being used to implement large arithmetic-intensive applications, which ...
SAS
2012
Springer
11 years 9 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
ACL
1992
13 years 8 months ago
1992
A formalism will be presented in this paper which makes it possible to realise the idea of assigning only one scope-ambiguous representation to a sentence that is ambiguous with r...
IJCNN
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper deals with the more recent results obtained by the application of the CSLU Toolkit frame-based hybrid HMM/ANN architecture on the connected digit recognition task for t...
INFSOF
2000
13 years 7 months ago
2000
A number of standalone tools are designed to help developers understand software systems. These tools operate at different levels of abstraction, from low level source code to sof...