io-port.net

io-port 05216698 Amor, M.; Fuentes, L.; Pinto, M.

A survey of multimedia software engineering. (English)

J. UCS 10, No. 4, 473-498, electronic only (2004).

Classification: D.1 D.1.5 D.2 D.2.13

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216693 Gómez-Sanz, J.; Pavón, J.

Methodologies for developing multi-agent systems. (English)

J. UCS 10, No. 4, 359-374, electronic only (2004).

Classification: D.1 D.2 I.2.11

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01957322 Finkelstein, Stacy E.; Freyd, Peter; Lipton, James

A new framework for declarative programming. (English)

Theor. Comput. Sci. 300, No.1-3, 91-160 (2003); erratum ibid. 311, 527 (2004).

Classification: D.1

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02037441 Athanasiadis, A.N.; Deconinck, H.

Object-oriented three-dimensional hybrid grid generation. (English)

Int. J. Numer. Methods Eng. 58, No.2, 301-318 (2003).

Classification: G.1.8 D.1

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02027295 Voss, Michael J. (ed.)

OpenMP shared memory parallel programming. International workshop on OpenMP applications and tools, WOMPAT 2003, Toronto, Canada, June 26‒27, 2003. Proceedings. (English)

Lecture Notes in Computer Science. 2716. Berlin: Springer. viii, 271 p. EUR 42.00/net; \$ 54.00; \sterling 32.50; sFr 72.00 (2003).

Classification: A.m D.1

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02018363 Cardelli, Luca (ed.)

ECOOP 2003 — object-oriented programming, 17th European conference, Darmstadt, Germany, July 21‒25, 2003, Proceedings. (English)

Lecture Notes in Computer Science. 2743. Berlin: Springer. x, 501 p. EUR 62.00/net; \$ 81.00; \sterling 62.00; sFr 103.00 (2003).

Classification: A.m D.1

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011482 Lin, Tse-Min; McDermid, John A.

A behavioural notion of subtyping for object-oriented programming in SPARK95. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 309-321 (2003).

Classification: D.1

7

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011472 Martel, Ernestina; Guerra, Francisco; Miranda, Javier; Hernández, Luis

A graphical environment for GLADE. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 182-195 (2003).

Classification: D.1 H.2

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011471 Evangelista, Sami; Kaiser, Claude; Pradat-Peyre, Jean-François; Rousseau, Pierre

Quasar: A new tool for concurrent Ada programs analysis. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 168-181 (2003).

Classification: D.1

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011466 Lamm, Ehud

Booch’s Ada vs. Liskov’s Java: Two approaches to teaching software design. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 102-112 (2003).

Classification: D.3 D.1

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003521 Rossi, Francesca (ed.)

Principles and practice of constraint programming ‒ CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 ‒ October 3, 2003. Proceedings. (English)

Lecture Notes in Computer Science. 2833. Berlin: Springer. xix, 1005 p. EUR 92.00/net; \$ 86.48; \sterling 71.00; sFr 153.00 (2003).

Classification: A.m D.1

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003162 Setzer, Anton

Java as a functional programming language. (English)

Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 279-298 (2003).

Classification: D.1.1 D.3 D.1

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01997802 Ruiz, David; Corchuelo, Rafael; Toro, Miguel

Fairness in systems based on multiparty interactions. (English)

Concurrency and Computation: Practice \& Experience 15, No.11-12, 1093-1116 (2003).

Classification: D.1

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01997798 Truong, Hong-Linh; Fahringer, Thomas

SCALEA: A performance analysis tool for parallel programs. (English)

Concurrency and Computation: Practice \& Experience 15, No.11-12, 1001-1025 (2003).

Classification: D.1

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01997173 Eiben, A.E.; Smith, J.E.

Introduction to evolutionary computing. (English)

Natural Computing Series. Berlin: Springer. xv, 299 p. EUR 39.95/net; \$ 49.95; \sterling 30.50; sFr 68.50 (2003).

Classification: D.1 A.1

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 01992773 Bini, D.A.; Codevico, G.; Van Barel, M.

Solving Toeplitz least squares problems by means of Newton’s iteration. (English)

Numer. Algorithms 33, No.1-4, 93-103 (2003).

Classification: G.1.3 G.4 G.1.0 D.1

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01992424 Frohner, Ákos; Kozsik, Tamás; Varga, László

Design and implementation of synchronisation patterns using an extension to UML: A case study. (English)

PU.M.A., Pure Math. Appl. 13, No.1-2, 133-158 (2002).

Classification: F.3.1 D.1

17

PDF XML AMS-TeX TEXT BIBTeX

io-port 01984692 Coppola, Massimo; Schmollinger, Martin

Hierarchical models and software tools for parallel programming. (English)

Meyer, Ulrich (ed.) et al., Algorithms for memory hierarchies. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 2625, 320-354 (2003).

Classification: C.4 D.4.1 B.8.2 D.1

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01975602 Quinlan, Daniel J.; Schordan, Markus; Philip, Bobby; Kowarschik, Markus

The specification of source-to-source transformations for the compile-time optimization of parallel object-oriented scientific applications. (English)

Dietz, Henry G. (ed.), Languages and compilers for parallel computing. 14th international workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2624, 383-394 (2003).

Classification: D.3.4 D.1

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01975601 Kuncak, Viktor; Lam, Patrick; Rinard, Martin

A language for role specifications. (English)

Dietz, Henry G. (ed.), Languages and compilers for parallel computing. 14th international workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2624, 366-382 (2003).

Classification: D.3 D.1

20

PDF XML AMS-TeX TEXT BIBTeX URL