Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Goldsack, S. J.
182  Ergebnisse:
Personensuche X
?
1

Annealing and data decomposition in VDM:

Goldsack, S. J. ; Lano, K.
ACM SIGPLAN Notices.  31 (1996)  4 - p. 32-38 , 1996
Link: https://doi.org/10.1145/..
 
?
2

Annealing and data decomposition in VDM:

Goldsack, S. J. ; Lano, K.
ACM SIGPLAN Notices.  31 (1996)  4 - p. 32-38 , 1996
Link: https://dl.acm.org/doi/1..
 
?
3

AdaPT and Ada 9X:

Goldsack, S. J. ; Holzbacher-Valero, A. A. ; Volz, R..
ACM SIGAda Ada Letters.  XIV (1994)  2 - p. 80-92 , 1994
Link: https://dl.acm.org/doi/1..
 
?
4

AdaPT and Ada 9X:

Goldsack, S. J. ; Holzbacher-Valero, A. A. ; Volz, R..
ACM SIGAda Ada Letters.  XIV (1994)  2 - p. 80-92 , 1994
Link: https://doi.org/10.1145/..
 
?
5

Translating an AdaPT partition to Ada9X:

Goldsack, S. J. ; Holzbacher-Valero, A. A. ; Volz, R..
ACM SIGAda Ada Letters.  XIII (1993)  2 - p. 78-90 , 1993
Link: https://dl.acm.org/doi/1..
 
?
6

Translating an AdaPT partition to Ada9X:

Goldsack, S. J. ; Holzbacher-Valero, A. A. ; Volz, R..
ACM SIGAda Ada Letters.  XIII (1993)  2 - p. 78-90 , 1993
Link: https://doi.org/10.1145/..
 
?
7

AdaPT and Ada 9X:

, In: Proceedings of the conference on TRI-Ada '92,
Goldsack, S. J. ; Holzbacher-Valero, A. A. ; Volz, R.. - p. 493-503 , 1992
Link: https://dl.acm.org/doi/1..
 
?
8

Adapting Ada distribution and fault tolerance:

, In: Proceedings of the fourth international workshop on Real-time Ada issues,
Gargaro, A. B. ; Goldsack, S. J. ; Powers, R. K... - p. 111-117 , 1990
Link: https://dl.acm.org/doi/1..
 
?
9

Book reviews:

Denvir, Tim ; Rawlings, Rosamund ; Parke, Tom..
Formal Aspects of Computing.  2 (1990)  1 - p. 196-202 , 1990
Link: https://doi.org/10.1007/..
 
?
10

Adapting Ada distribution and fault tolerance:

Gargaro, A. B. ; Goldsack, S. J. ; Powers, R. K...
ACM SIGAda Ada Letters.  X (1990)  9 - p. 111-117 , 1990
Link: https://doi.org/10.1145/..
 
?
11

An object oriented approach to virtual nodes: are package t..:

, In: Proceedings of the third international workshop on Real-time Ada issues,
Goldsack, S. J. ; Alkinson, C. - p. 78-84 , 1989
Link: https://dl.acm.org/doi/1..
 
?
12

An object oriented approach to virtual nodes: are package t..:

Goldsack, S. J. ; Alkinson, C.
ACM SIGAda Ada Letters.  X (1989)  4 - p. 78-84 , 1989
Link: https://doi.org/10.1145/..
 
?
13

Communication between Ada programs in DIADEM:

, In: Proceedings of the second international workshop on Real-time Ada issues,
Atkinson, C. ; Goldsack, S. J. - p. 86-96 , 1988
Link: https://dl.acm.org/doi/1..
 
?
14

Communication between Ada programs in DIADEM:

Atkinson, C. ; Goldsack, S. J.
ACM SIGAda Ada Letters.  VIII (1988)  7 - p. 86-96 , 1988
Link: https://doi.org/10.1145/..
 
?
15

Invariants in the application-oriented specification of con..:

Goldsack, S.J. ; Kramer, J.
Automatica.  18 (1982)  1 - p. 71-76 , 1982
Link: https://doi.org/10.1016/..
 
1-15