| M. Gyssens (Marc), Jan Paredaens - 1988 - 420 lapas
...Concurrency Control of Relational Update Transactions (Extended Abstract) Victor Vianu f Department of Computer Science and Engineering University of California, San Diego La Jolla, California 92093, USA and Gottfried Vossen f Lehrstuhl fuer angewandte Mathematik Technische Hochschule... | |
| Janos Demetrovics, Bernhard Thalheim - 1989 - 438 lapas
...contract management. Goal-Oriented Concurrency Control (Extended Abstract) Victor Vianu* Department of Computer Science and Engineering University of California, San Diego La Jolla, CA 92093, USA Gottfried Vossen' Lehrstuhl fur Angewandte Mathematik, insbesondere Informatik Technische... | |
| David H. Bailey - 1995 - 900 lapas
...Baden, Scott R. Kohn, Silvia M. Figueira and Stephen J. Fink. The LPARX user's guide, v 1.0. Department of Computer Science and Engineering, University of California, San Diego, La Jolla, California 92093-0114, 11 April 1994. [2] William Briggs. A multtgnd tutorial. SIAM, 1987. [3] David... | |
| Alfredo DeSantis - 1995 - 506 lapas
...Hash Functions. Thesis, Katholieke Universiteit Leuven, January 1993. Markus Jakobsson * Department of Computer Science and Engineering University of California, San Diego La Jolla, CA 92093 Abstract With blackmailing we mean a situation where after a signature has been verified,... | |
| Afonso Ferreira - 1996 - 772 lapas
...Dynamic Structured Applications* Stephen J. Fink1, Scott B. Baden1, and Scott R.Kohn2 1 Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA 92093-0114 2 Department of Chemistry and Biochemistry, University of California, San Diego, La Jolla,... | |
| Canadian Society for Computational Studies of Intelligence. Conference - 1996 - 668 lapas
...Unknown, Counterfactual, and Nondeterministic Actions in First-Order Logic Charles Elkan Department of Computer Science and Engineering University of California, San Diego La Jolla, California 92093-0114 ABSTRACT: This paper extends previous work on axiomatizing actions and their... | |
| Sabine van Huffel - 1997 - 404 lapas
...CCR-9507307. ^Department of Computer Science, University of Minnesota, Minneapolis, MN 55455 and Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA 92093 'Department of Computer Science, University of Minnesota, Minneapolis, MN 55455 ^Department... | |
| 1997 - 354 lapas
...Department of Computer Science, University of Minnesota, Minneapolis, Minnesota 55455, and Department of Computer Science and Engineering, University of California, San Diego, La Jolla, California 92093-0114. 5 Department of Mathematics, University of California, San Diego, La Jolla,... | |
| Yutaka Ishikawa, Rodney R. Oldehoeft, John V.W. Reynders, Marydell Tholburn - 1997 - 516 lapas
...Programming of Block-Structured Applications on SMP Clusters' Stephen J. Fink and Scott B. Baden Department of Computer Science and Engineering University of California, San Diego La Jolla, CA 92093-0114 Abstract. We present a small set of programming abstractions to simplify efficient implementations... | |
| Rolf Klötzler - 1998 - 370 lapas
...San Diego, La Jolla, California 92093-0112, e-mail: abarclay@ucsd.edu, pgill@ucsd.edu * Department of Computer Science and Engineering, University of California, San Diego, La Jolla, California 92093-0114, e-mail: jbrosen@cs.ucsd.edu. 2. SQP methods The general nonlinearly constrained... | |
| |