Result 1 to 20 of 337 total
On the expressiveness of single-pass instruction sequences. (English)
Theory Comput. Syst. 50, No. 2, 313-328 (2012).
1
On the contribution of backward jumps to instruction sequence expressiveness. (English)
Theory Comput. Syst. 50, No. 4, 706-720 (2012).
2
Instruction sequence processing operators. (English)
Acta Inf. 49, No. 3, 139-172 (2012).
3
Instruction sequences for computer science. (English)
Atlantis Studies in Computing 2. Paris: Atlantis Press (ISBN 978-94-91216-64-0/hbk; 978-94-91216-65-7/ebook). xvi, 229~p. EUR~79.95/net; SFR~106.50; \sterling~72.00/hbk (2012).
4
Proposition algebra and short-circuit logic. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20‒22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 15-31 (2012).
5
Inversive meadows and divisive meadows. (English)
J. Appl. Log. 9, No. 3, 203-220 (2011).
6
Thread algebra for poly-threading. (English)
Formal Asp. Comput. 23, No. 4, 567-583 (2011).
7
On the behaviours produced by instruction sequences under execution. (English)
Comput. Res. Repos. 2011, Article No. 1106.6196 (2011).
8
A calculus for four-valued sequential logic. (English)
Theor. Comput. Sci. 412, No. 28, 3122-3128 (2011).
9
Straight-line instruction sequence completeness for total calculation on cancellation meadows. (English)
Theory Comput. Syst. 48, No. 4, 840-864 (2011).
10
Real islamic logic. (English)
Comput. Res. Repos. 2011, Article No. 1103.4515 (2011).
11
Suitability of V1 energy models for object classification. (English)
Neural Comput. 23, No. 3, 774-790 (2011).
12
A spike and slab restricted Boltzmann machine (English)
Journal of Machine Learning Research - Proceedings Track 15, 233-241 (2011).
13
Proposition algebra (English)
ACM Trans. Comput. Log. 12, No. 3, 21 (2011).
14
Unsupervised models of images by spikeand-slab rbms (English)
ICML, 1145-1152 (2011).
15
Data linkage dynamics with shedding. (English)
Fundam. Inform. 103, No. 1-4, 31-52 (2010).
16
An interface group for process components. (English)
Fundam. Inform. 99, No. 4, 355-382 (2010).
17
A thread calculus with molecular dynamics. (English)
Inf. Comput. 208, No. 7, 817-844 (2010).
18
On the definition of a theoretical concept of an operating system. (English)
Comput. Res. Repos. 2010, Article No. 1006.0813 (2010).
19
On the contribution of backward jumps to instruction sequence expressiveness. (English)
Comput. Res. Repos. 2010, Article No. 1005.5662 (2010).
20
Result 1 to 20 of 337 total
Start
Contact
Print
General Help
