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).
1
Buffer sharing in rendezvous programs. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 29, No. 10, 1471-1480 (2010).
2
Simple and fast biased locks (English)
PACT, 65-74 (2010).
3
Ensuring deterministic concurrency through compilation (English)
IPDPS Workshops, 1-4 (2010).
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).
5
Buffer sharing in CSP-like programs (English)
MEMOCODE, 151-160 (2009).
6
Compositional deadlock detection for rendezvous communication (English)
EMSOFT, 59-66 (2009).
7
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore (English)
SAC, 1626-1631 (2009).
8
Compile-time analysis and specialization of clocks in concurrent programs (English)
CC, 48-62 (2009).
9
Static deadlock detection for the SHIM concurrent language (English)
MEMOCODE, 49-58 (2008).
10
A deterministic multi-way rendezvous library for haskell (English)
IPDPS, 1-12 (2008).
11
Programming shared memory multiprocessors with deterministic message-passing concurrency: compiling SHIM to pthreads (English)
DATE, 1498-1503 (2008).
12
Comparative analysis of neural network techniques vs statistical methods in capacity planning (English)
SERA, 799-806 (2007).
13
Design and implementation of secure xenix. (English)
IEEE Trans. Softw. Eng. 13, No. 02, 208-221 (1987).
14
Design and implementation of secure xenix (English)
IEEE Trans. Software Eng. 13, No. 2, 208-221 (1987).
15
On the design and the implementation of secure xenix workstations (English)
IEEE Symposium on Security and Privacy, 102-117 (1986).
16
Result 1 to 16 of 16 total