io-port.net

io-port 05216819 Ribeiro, P.R.; Barbosa, M.A.; Barbosa, L.S.

Generic process algebra: a programming challenge. (English)

J. UCS 12, No. 7, 922-937, electronic only (2006).

Classification: D.3.1 F.3.1

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216815 Schordan, M.

The language of the visitor design pattern. (English)

J. UCS 12, No. 7, 849-867, electronic only (2006).

Classification: D.1.5 D.3.1 F.4.2

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216746 Power, J.F.; Sinclair, D.

A formal model of forth control words in the Pi-calculus. (English)

J. UCS 10, No. 9, 1272-1293, electronic only (2004).

Classification: D.3.1 D.3.3 F.3.2

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216723 Barbosa, M.A.; Barbosa, L.Soares

A relational model for component interconnection. (English)

J. UCS 10, No. 7, 808-823, electronic only (2004).

Classification: D.3.1 F.3.2

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02040440 Bundy, Alan

Desert Island Column. (English)

Autom. Softw. Eng. 11, No. 1, 91-92 (2004).

Classification: D.3.1

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02040439 Li, Hon F.; Rilling, Juergen; Goswami, Dhrubajyoti

Granularity-driven dynamic predicate slicing algorithms for message passing systems. (English)

Autom. Softw. Eng. 11, No. 1, 63-89 (2004).

Classification: D.3.1

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02040438 Harman, Mark; Hu, Lin; Munro, Malcolm; Zhang, Xingyuan; Binkley, Dave; Danicic, Sebastian; Daoudi, Mohammed; Ouarbya, Lahcen

Syntax-directed amorphous slicing. (English)

Autom. Softw. Eng. 11, No. 1, 27-61 (2004).

Classification: D.3.1

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02040437 Milanova, Ana; Rountev, Atanas; Ryder, Barbara G.

Precise call graphs for C programs with function pointers. (English)

Autom. Softw. Eng. 11, No. 1, 7-26 (2004).

Classification: D.3.1

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05216649 Drusinsky, D.; Shing, M.-T.

Monitoring temporal logic specifications combined with time series constraints. (English)

J. UCS 9, No. 11, 1261-1276, electronic only (2003).

Classification: D.2.1 D.2.4 D.2.5 D.2.6 D.3.1 F.3.1

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216637 Takahashi, K.

Reasoning about propagation of properties over regions. (English)

J. UCS 9, No. 9, 1030-1045, electronic only (2003).

Classification: D.3.1 F.4.3

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216630 Carvilhe, C.; Musicante, M.A.

Object-oriented action semantics specifications. (English)

J. UCS 9, No. 8, 910-934, electronic only (2003).

Classification: D.3.1 D.3.2 F.3.2

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216629 Barbosa, L.Soares

Towards a calculus of state-based software components. (English)

J. UCS 9, No. 8, 891-909, electronic only (2003).

Classification: D.3.1 F.3.2

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02181569 Cole, Martin J.; Parker, Steven G.

Dynamic compilation of C++ template code. (English)

Sci. Program. 11, No. 4, 321-327 (2003).

Classification: D.3.3 D.3.1

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 02181568 Gregor, Douglas; Schupp, Sibylle; Musser, David R.

Design patterns for library optimization. (English)

Sci. Program. 11, No. 4, 309-320 (2003).

Classification: D.3.3 D.3.1

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 02181567 Schupp, Sibylle

Lifting a butterfly ‒ a component-based FFT. (English)

Sci. Program. 11, No. 4, 291-307 (2003).

Classification: D.3.3 D.3.1

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 02181566 Landry, Walter

Implementing a high performance tensor library. (English)

Sci. Program. 11, No. 4, 273-290 (2003).

Classification: D.3.3 D.3.1

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 02181565 Bischof, Christian H.; Bücker, H.Martin; Lang, Bruno; Rasch, Arno

An interactive environment for supporting the transition from simulation to optimization. (English)

Sci. Program. 11, No. 4, 263-272 (2003).

Classification: D.3.3 D.3.1

17

PDF XML AMS-TeX TEXT BIBTeX

io-port 02060529 Maris, Justin T.; Roper, Matthew D.; Olsson, Ronald A.

DesCaRTeS: A run-time system with SR-like functionality for programming a network of embedded systems. (English)

Comput. Lang. Syst. Struct. 29, No. 4, 75-100 (2003).

Classification: D.3.2 D.3.1

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02020424 Li, Yongjian; He, Jifeng; Sun, Yongqiang

Study on the algebraic semantics of Verilog. (Chinese)

J. Softw. 14, No. 3, 317-327 (2003).

Classification: D.3.1

19

PDF XML AMS-TeX TEXT BIBTeX

io-port 05386337 Harrison, John

Floating point verification in HOL light: The exponential function. (English)

Form. Methods Syst. Des. 16, No. 3, 271-305 (2000).

Classification: D.2.4 D.3.1 G.1

20

PDF XML AMS-TeX TEXT BIBTeX DOI