![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 48
Volume 48, Number 1, July 2003
- Vineeth Kumar Paleri
, Y. N. Srikant, Priti Shankar:
Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. 1-20 - Stephen A. Edwards, Edward A. Lee
:
The semantics and execution of a synchronous block-diagram language. 21-42 - Jiannong Cao
, Alvin T. S. Chan, Yudong Sun, Kang Zhang:
Dynamic configuration management in a graph-oriented Distributed Programming Environment. 43-65 - Rudolf Berghammer, Florian Reuter:
A linear approximation algorithm for bin packing with absolute approximation factor 3/2. 67-80
Volume 48, Number 2-3, August-September 2003
- Bruce W. Watson:
A new algorithm for the construction of minimal acyclic DFAs. 81-97 - Bruce W. Watson, Richard E. Watson:
A Boyer-Moore-style algorithm for regular expression pattern matching. 99-117 - K. S. How Tai Wah:
An analysis of the coupling effect I: single test data. 119-161 - Dino Pedreschi
, Salvatore Ruggieri:
On logic programs that always succeed. 163-196
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.