295 search results - page 42 / 59 » A Programming Methodology for Designing Block Recursive Algo... |
126
click to vote
SPIN
2010
Springer
15 years 18 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
113
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...
115
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
CHES
2000
Springer
15 years 6 months ago
2000
Springer
The presented Triple-DES encryptor is a single-chip solution to encrypt network communication. It is optimized for throughput and fast switching between virtual connections like fo...
DAC
2002
ACM
16 years 3 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...