History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 16 of 16 total

Optimal stem identification in presence of suffix list. (English)
Gelbukh, Alexander (ed.), Computational linguistics and intelligent text processing. 13th international conference, CICLing 2012, New Delhi, India, March 11‒17, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28603-2/pbk). Lecture Notes in Computer Science 7181, 92-103 (2012).
WorldCat.org
1
Buffer sharing in rendezvous programs. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 29, No. 10, 1471-1480 (2010).
WorldCat.org
2
Simple and fast biased locks (English)
PACT, 65-74 (2010).
WorldCat.org
3
Ensuring deterministic concurrency through compilation (English)
IPDPS Workshops, 1-4 (2010).
WorldCat.org
4
Compile-time analysis and specialization of clocks in concurrent programs. (English)
de Moor, Oege (ed.) et al., Compiler construction. 18th international conference, CC 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22‒29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00721-7/pbk). Lecture Notes in Computer Science 5501, 48-62 (2009).
WorldCat.org
5
Buffer sharing in CSP-like programs (English)
MEMOCODE, 151-160 (2009).
WorldCat.org
6
Compositional deadlock detection for rendezvous communication (English)
EMSOFT, 59-66 (2009).
WorldCat.org
7
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore (English)
SAC, 1626-1631 (2009).
WorldCat.org
8
Compile-time analysis and specialization of clocks in concurrent programs (English)
CC, 48-62 (2009).
WorldCat.org
9
Static deadlock detection for the SHIM concurrent language (English)
MEMOCODE, 49-58 (2008).
WorldCat.org
10
A deterministic multi-way rendezvous library for haskell (English)
IPDPS, 1-12 (2008).
WorldCat.org
11
Programming shared memory multiprocessors with deterministic message-passing concurrency: compiling SHIM to pthreads (English)
DATE, 1498-1503 (2008).
WorldCat.org
12
Comparative analysis of neural network techniques vs statistical methods in capacity planning (English)
SERA, 799-806 (2007).
WorldCat.org
13
Design and implementation of secure xenix. (English)
IEEE Trans. Softw. Eng. 13, No. 02, 208-221 (1987).
WorldCat.org
14
Design and implementation of secure xenix (English)
IEEE Trans. Software Eng. 13, No. 2, 208-221 (1987).
WorldCat.org
15
On the design and the implementation of secure xenix workstations (English)
IEEE Symposium on Security and Privacy, 102-117 (1986).
WorldCat.org
16
first | previous | 1 | next | last

Result 1 to 16 of 16 total

Valid XHTML 1.0 Transitional Valid CSS!