1362 search results - page 149 / 273 » The Projection of Systolic Programs |
143
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
124
click to vote
LPNMR
1990
Springer
15 years 8 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
146
click to vote
ISSTA
2007
ACM
15 years 6 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
132
click to vote
IIE
2007
15 years 4 months ago
2007
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
160
click to vote
NAR
2010
14 years 11 months ago
2010
PDBselect (http://bioinfo.tg.fh-giessen.de/pdb select/) is a list of representative protein chains with low mutual sequence identity selected from the protein data bank (PDB) to e...