Unfolding is a transformation technique of duplicating the functional blocks to increase the throughput of the DSP program in such a way thatâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu
- IJCAI
- 2016

A disjunctive logic program under the answer set semantics can be equivalently translated to a normal logic program by theâ€¦Â (More)

Is this relevant?

2015

2015

Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption, and moreâ€¦Â (More)

Is this relevant?

2013

2013

- Sangeeta Singh, K. Latha
- 2013

Abstract : Error detection is important whenever there is a non-zero chance of data getting corrupted. A Cyclic Redundancy Checkâ€¦Â (More)

Is this relevant?

2013

2013

- Antonina Nepeivoda
- VPT@CAV
- 2013

This paper describes how to verify cryptographic protocols by a general-purpose program transformation technique with unfoldingâ€¦Â (More)

Is this relevant?

2012

2012

- Jae-woon Kim, Hu-ung Lee, Youjip Won
- 2012 Fourth International Conference onâ€¦
- 2012

In this paper, we propose SHA-1 architectures to achieve high-throughput hardware implementations. Two techniques such as loopâ€¦Â (More)

Is this relevant?

2008

2008

- Juan Antonio Guerrero, GinÃ©s Moreno
- Electr. Notes Theor. Comput. Sci.
- 2008

Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logicâ€¦Â (More)

Is this relevant?

2005

2005

- Pascual JuliÃ¡n Iranzo, GinÃ©s Moreno, Jaime Penabad
- Fuzzy Sets and Systems
- 2005

Pascual Juli an a Gin es Moreno b Jaime Penabad c aDepartment of Computer Science ESI, Univ. of Castilla{La Mancha Paseo de laâ€¦Â (More)

Is this relevant?

1997

1997

- MarÃa Alpuente, Moreno Falaschi, GinÃ©s Moreno, GermÃ¡n Vidal
- ALP/HOA
- 1997

Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting whereâ€¦Â (More)

Is this relevant?

1994

1994

- Lih-Gwo Jeng, Liang-Gee Chen
- IEEE Trans. VLSI Syst.
- 1994

Thii paper presents a rate-optimal scheduling for real-time DSP algorithms. By using pipeling and unfolding technique, theâ€¦Â (More)

Is this relevant?

1994

1994

- Eunha Rho, Sangho Ha, Sang-Yong Han, H. H. Kim, Daejoon Hwang
- ICPP
- 1994

Multithreading has been much focused on as one of the strongest parallel instruction execution paradigms for massively parallelâ€¦Â (More)

Is this relevant?