Search Results - "LINDA (Computer system)"

Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.

Authors: Brogi, Antonio Jacquet, Jean-Marie Linden, Isabelle

Source: Fundamenta Informaticae. 2006, Vol. 73 Issue 4, p431-478. 48p. 1 Diagram.

Subjects: Programming languages, LINDA (Computer system), Semantic networks (Information theory), Expert systems, Computer science

Coordination as a Service.

Authors: Viroli, Mirko Omicini, Andrea

Source: Fundamenta Informaticae. 2006, Vol. 73 Issue 4, p507-534. 28p. 3 Diagrams.

Subjects: LINDA (Computer system), Computer systems, Software architecture, Computer software development, Computer engineering

Supporting Secure Coordination in SecSpaces.

Authors: Gorrieri, Roberto Lucchi, Roberto Zavattaro, Gianluigi

Source: Fundamenta Informaticae. 2006, Vol. 73 Issue 4, p479-506. 28p. 2 Diagrams.

Subjects: Computer security, LINDA (Computer system), Programming languages, Computer software development, Access control

A Timed Linda Language and its Denotational Semantics.

Authors: De Boer, Frank S. Gabbrielli, Maurizio Meo, Maria C.

Source: Fundamenta Informaticae. Dec2004, Vol. 63 Issue 4, p309-330. 22p.

Subjects: Information science, LINDA (Computer system), Optical pattern recognition, Semantics, Computer systems

SAFE TUPLESPACE-BASED COORDINATION IN MULTIAGENT SYSTEMS.

Authors: Minsky, Naftaly H. Minsky, Yaron M. Ungureanu, Victoria

Source: Applied Artificial Intelligence. Jan2001, Vol. 15 Issue 1, p11-33. 23p.

Subjects: LINDA (Computer system), Computer systems, Parallel programming

A Quantization Method of Line Drawings using Directional-Difference Codes with Adaptive Line Segments.

Authors: Ishii, Ikuo¹

Source: Systems & Computers in Japan. Aug87, Vol. 18 Issue 8, p67-76. 10p.

Subjects: LINDA (Computer system), Optical pattern recognition, Information retrieval, Curves, Geometry, Mathematics

Interpretive Process of Depth in Line Drawing.

Authors: Kawabata, Nobuo¹

Source: Systems & Computers in Japan. Jul87, Vol. 18 Issue 7, p103-109. 7p.

Subjects: LINDA (Computer system), Optical pattern recognition, Depth perception, Drawing, Computer systems, Computer science

An Identification Method of Closed Regions between Line Drawings Using Motion Analysis.

Authors: Nagao, Tomoharu Agui, Takeshi Nakajima, Masayuki

Source: Systems & Computers in Japan. Jul87, Vol. 18 Issue 7, p46-56. 11p.

Subjects: LINDA (Computer system), Motion, Drawing, Algorithms, Computer systems

Guessing Shape of a Complete Line Drawing of a Polyhedron Using an Heuristic Tree Search.

Authors: Ishikawa, Seiji¹

Source: Systems & Computers in Japan. Jan1986, Vol. 17 Issue 1, p44-52. 9p.

Subjects: LINDA (Computer system), Optical pattern recognition, Newton diagrams, Heuristic programming, Computer systems

Geographic Terms: Japan

LINDA IN CONTEXT.

Authors: Carriero, Nichols Glernter, David

Source: Communications of the ACM. Apr89, Vol. 32 Issue 4, p444-458. 15p. 5 Diagrams.

Subjects: LINDA (Computer system), Parallel programming, Computer programming, Manufactured products, Businessmen, Threads (Computer programs)

A Scan Conversion Algorithm with Reduced Storage Requirements.

Authors: Jordan Jr., B.W. Barrett, R.C.

Source: Communications of the ACM. Nov73, Vol. 16 Issue 11, p676-682. 7p. 4 Diagrams, 1 Chart, 3 Graphs.

Subjects: Computer graphics, LINDA (Computer system)

Variable Hough Transform for High-Resolution Line Detection.

Authors: Morimoto, Masashi Shakunaga, Takeshi Suenaga, Yasuhito et al.

Source: Systems & Computers in Japan; 11/1/93, Vol. 24 Issue 12, p88-98, 11p

An Approximate Encoding Scheme for Line-Drawing Using the Concept of Vector Quantization.

Authors: Handa, Shiro Inoue, Hideki Tanaka, Hatsukazu

Source: Systems & Computers in Japan; Jan1989, Vol. 20 Issue 1, p74-82, 9p

A Cell Organized Raster Display for Line Drawings.

Authors: Jordan, Jr., B. W. Barrett, R. C.

Source: Communications of the ACM; Feb1974, Vol. 17 Issue 2, p70-77, 8p, 14 Diagrams, 5 Graphs

A Linda-based platform for the parallel execution of out-place model transformations.

Authors: Burgueño, Loli Wimmer, Manuel Vallecillo, Antonio

Source: Information & Software Technology. Nov2016, Vol. 79, p17-35. 19p.

Subjects: LINDA (Computer system), Scalability, Multicore processors, Parallel computers, Compilers (Computer programs)

A ground-complete axiomatization of stateless bisimilarity over Linda.

Authors: Aceto, Luca Goriac, Eugen-Ioan Ingolfsdottir, Anna

Source: Information Processing Letters. Feb2015, Vol. 115 Issue 2, p212-220. 9p.

Subjects: LINDA (Computer system), Programming languages, Algebra, Mathematical analysis, Information processing

On the expressiveness of timed coordination models

Authors: Linden, I. Jacquet, J.-M. De Bosschere, K. et al.

Source: Science of Computer Programming. Jul2006, Vol. 61 Issue 2, p152-187. 36p.

Subjects: JavaSpaces technology, LINDA (Computer system), Computer programming, Programming languages

Coordinating processes with secure spaces

Authors: Vitek, Jan Bryce, Ciarán Oriol, Manuel

Source: Science of Computer Programming. Jan2003, Vol. 46 Issue 1/2, p163. 31p.

Subjects: Coordinate constructions (Linguistics), LINDA (Computer system), Access control

Communications Directed by Bound Types in Linda: Presentation and Formal Model.

Authors: Gibaud, Alain Thomin, Philippe

Source: IEEE Transactions on Parallel & Distributed Systems. Aug2002, Vol. 13 Issue 8, p828. 16p. 2 Black and White Photographs, 1 Diagram.

Subjects: LINDA (Computer system), Distributed shared memory

Evaluating the efficiency of Linda implementations.

Authors: Buravlev, Vitaly De Nicola, Rocco Mezzina, Claudio Antares

Source: Concurrency & Computation: Practice & Experience; 4/25/2018, Vol. 30 Issue 8, p1-1, 21p