Last update: Fri Mar 2 02:06:23 MST 2018
Top |
Symbols |
Numbers |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Gorton:1995:OBM,
author = "Ian Gorton and Jonathan P. Gray and Innes Jelly",
title = "Object-Based Modeling of Parallel Programs",
journal = j-IEEE-PAR-DIST-TECH,
volume = "3",
number = "2",
pages = "52--63",
month = "Summer",
year = "1995",
CODEN = "IPDTEX",
DOI = "https://doi.org/10.1109/88.393237",
ISSN = "1063-6552 (print), 1558-1861 (electronic)",
ISSN-L = "1063-6552",
bibdate = "Mon Jun 7 07:52:29 MDT 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/ieeepardisttech.bib",
URL = "http://dlib.computer.org/pd/books/pd1995/pdf/h20052.pdf;
http://www.computer.org/concurrency/pd1995/p2052abs.htm",
acknowledgement = ack-nhfb,
affiliation = "Div of Information Technology, CSIRO",
classification = "722.4; 723.1; 723.1.1; 723.5; 911; C1160
(Combinatorial mathematics); C6110B (Software
engineering techniques); C6110F (Formal methods);
C6110J (Object-oriented programming); C6110P (Parallel
programming); C6115 (Programming support); C6120 (File
organisation); C6150N (Distributed systems software)",
corpsource = "Div. of Inf. Technol., CSIRO, North Ryde, NSW,
Australia",
journalabr = "IEEE Parallel Distrib Technol",
keywords = "behavioral; Computer programming languages; Computer
simulation; Cost effectiveness; CSP; data
encapsulation; data flow computing; data structures;
dataflow approaches; design; encapsulation; formal
methods; function; graph theory; Graphic methods;
Graphical notation; graphical notation; Hierarchical
decomposition; hierarchical decomposition; Hierarchical
systems; management strategies; Object based modeling;
object interactions; Object oriented programming;
object-based modeling; object-oriented approaches;
object-oriented methods; parallel applications;
Parallel processing systems; parallel programming;
Parallel programs; parallel programs; parallel software
designs; Parse Project; Petri nets; precise; process
graphs; program verification; refinement; skeletal
dynamic properties; software development issues;
Software engineering; software engineering;
specification language; specification languages;
staged; synchronization; systems analysis",
treatment = "P Practical",
}
Related entries
- analysis,
1(3)12,
2(1)32,
2(2)50,
2(3)16,
2(3)37,
2(3)48,
2(3)73,
2(4)9,
3(2)40,
3(3)4,
3(3)20,
3(3)33,
3(3)63,
3(4)21,
3(4)34,
3(4)44,
3(4)61,
3(4)72,
4(2)26,
4(2)49,
4(2)89,
4(3)15,
4(4)12
- application,
1(1)25,
1(2)21,
1(2)62,
1(3)62,
1(3)83,
1(3)85,
1(4)12,
1(4)16,
2(2)17,
2(2)37,
2(2)50,
2(2)57,
2(2)62,
2(3)8,
2(3)10,
2(3)16,
2(3)59,
2(4)9,
2(4)32,
2(4)61,
3(1)37,
3(1)61,
3(2)2,
3(2)22,
3(2)29,
3(2)40,
3(3)63,
3(4)3,
3(4)21,
3(4)34,
4(1)6,
4(1)9,
4(1)57,
4(2)15,
4(2)41,
4(2)89,
4(3)15,
4(4)8,
4(4)12,
4(4)36
- approach,
1(3)22,
1(3)71,
1(4)58,
2(1)64,
2(4)61,
3(4)34,
3(4)61,
4(1)57,
4(1)74
- based,
1(2)33,
1(3)82,
2(1)64,
2(2)5,
2(3)75,
3(1)25,
4(2)41,
4(3)25,
4(4)8
- based, object-,
1(2)49
- behavioral,
2(4)9
- C1160,
3(1)75,
3(3)50,
4(2)26
- C6110B,
1(2)3,
1(2)21,
1(2)33,
2(2)5,
2(2)37,
2(3)71,
2(4)9,
3(1)4,
3(1)37,
3(4)61
- C6110F,
3(3)50
- C6110J,
1(2)3,
1(2)33,
1(2)49,
3(2)22
- C6110P,
1(2)62,
1(3)22,
1(3)51,
1(3)85,
1(4)23,
1(4)32,
2(1)9,
2(1)26,
2(1)32,
2(1)40,
2(1)64,
2(2)8,
2(2)17,
2(2)30,
2(2)50,
2(3)5,
2(3)8,
2(3)16,
2(3)27,
2(3)37,
2(3)48,
2(3)59,
2(3)71,
2(3)72,
2(3)73,
2(3)76,
2(4)20,
2(4)73,
3(1)4,
3(1)12,
3(1)25,
3(1)37,
3(1)75,
3(4)3,
3(4)21,
3(4)44,
3(4)72,
4(1)57,
4(2)15,
4(2)26,
4(2)63,
4(2)89,
4(3)15,
4(3)36,
4(4)36,
4(4)50
- C6115,
1(2)21,
1(2)33,
1(2)62,
1(3)85,
1(4)16,
2(1)40,
2(2)50,
2(3)48,
2(3)71,
2(3)73,
2(4)9,
3(1)25,
3(1)37,
3(1)75,
3(2)22,
3(4)21,
3(4)44,
3(4)72,
4(3)36
- C6120,
1(4)58,
3(1)12,
3(1)51,
3(4)21,
4(4)23,
4(4)36,
4(4)50
- C6150N,
1(2)62,
1(3)62,
1(3)71,
1(3)85,
1(4)41,
2(1)26,
2(1)64,
2(2)30,
2(2)50,
2(2)57,
2(2)62,
2(3)27,
2(4)20,
2(4)32,
2(4)49,
2(4)61,
2(4)73,
3(1)25,
3(1)61,
3(1)75,
3(2)14,
3(2)22,
3(4)12,
3(4)21,
3(4)44,
3(4)61,
4(1)25,
4(1)57,
4(2)15,
4(2)41,
4(2)89,
4(3)7,
4(3)15,
4(3)25,
4(3)45,
4(4)12
- Combinatorial,
3(1)75,
3(3)50,
4(2)26
- computing,
1(1)6,
1(1)17,
1(1)43,
1(1)52,
1(2)3,
1(2)16,
1(2)73,
1(3)51,
1(3)84,
1(4)23,
2(1)26,
2(2)5,
2(2)57,
2(2)62,
2(3)5,
2(3)10,
2(3)16,
2(3)37,
2(4)8,
2(4)9,
2(4)32,
2(4)61,
2(4)73,
3(1)75,
3(2)2,
3(2)14,
3(2)22,
3(2)40,
3(3)50,
3(4)3,
3(4)8,
3(4)12,
4(1)6,
4(1)57,
4(1)84,
4(2)12,
4(2)41,
4(2)49,
4(2)63,
4(2)89,
4(3)7,
4(3)15,
4(3)60,
4(4)4,
4(4)8,
4(4)12,
4(4)36
- cost,
2(1)9,
2(1)26,
2(2)5,
2(2)57,
4(2)26,
4(2)49
- dataflow,
1(2)49,
1(3)51,
4(4)50
- decomposition,
2(2)57
- design,
1(2)3,
1(2)62,
1(2)73,
2(4)9,
3(1)37,
3(1)51,
3(2)29,
3(2)40,
3(4)44,
4(1)25,
4(2)41,
4(2)49
- development,
1(1)17,
1(3)22,
1(3)85,
1(4)23,
2(2)5,
2(3)48,
2(3)59,
2(4)9,
2(4)32,
3(1)37,
3(2)22,
4(2)63,
4(3)7,
4(3)15
- dynamic,
1(2)33,
2(3)59,
2(4)61,
3(1)61,
3(3)4,
3(4)61,
4(2)49,
4(3)15,
4(3)25
- effectiveness,
2(1)9,
2(1)26
- engineering,
1(1)43,
1(2)3,
1(2)21,
1(2)33,
1(4)23,
2(2)5,
2(2)37,
2(3)13,
2(3)71,
2(4)9,
2(4)32,
2(4)61,
3(1)4,
3(1)25,
3(1)37,
3(2)14,
3(2)22,
3(2)40,
3(3)50,
3(4)3,
3(4)34,
3(4)44,
3(4)61,
4(1)74,
4(2)9,
4(2)63
- file,
1(1)9,
1(4)58,
3(1)12,
3(1)51,
3(4)21,
4(2)41,
4(4)23,
4(4)36,
4(4)50
- flow,
1(4)72,
4(3)15,
4(4)50
- formal,
3(3)50
- function,
2(3)59
- graph,
3(1)75,
3(3)63,
3(4)21,
4(2)15
- graphic,
1(4)16,
2(2)8,
2(2)17,
2(2)30,
2(4)49,
3(1)37,
3(1)75,
3(2)14,
3(2)40,
3(3)63,
3(4)44,
4(2)12,
4(2)15,
4(2)89
- graphical,
1(4)16,
3(1)37
- hierarchical,
2(1)51,
2(3)7,
3(2)29,
4(4)36
- interaction,
2(2)50,
3(4)12,
4(4)8
- issue,
2(4)73
- language,
1(1)6,
1(1)25,
1(2)3,
1(2)21,
1(2)49,
1(3)22,
2(1)32,
2(1)64,
2(2)37,
2(3)13,
2(3)16,
2(3)27,
2(3)37,
2(3)48,
2(3)59,
2(3)71,
2(3)72,
2(3)74,
2(3)75,
2(3)76,
2(4)9,
3(1)4,
3(1)12,
3(1)37,
3(1)75,
3(3)50,
3(4)14,
4(1)6,
4(1)57,
4(2)26,
4(2)49,
4(3)36
- management,
1(1)6,
1(2)3,
1(4)23,
3(1)51,
3(2)4,
3(4)34,
4(1)6,
4(4)4,
4(4)65
- mathematics,
1(1)17,
3(1)75,
3(3)50,
4(2)26,
4(3)15
- method,
2(1)64,
2(3)37,
2(4)9,
2(4)49,
3(1)37,
3(1)75,
3(2)22,
3(3)50,
3(4)44,
4(1)9,
4(2)41,
4(3)15,
4(3)36
- modeling,
3(2)14,
3(4)14,
3(4)21,
4(1)9,
4(2)26
- net,
1(3)33,
2(4)9,
3(3)50
- object,
1(2)16,
1(2)21,
1(2)33,
1(2)49,
1(4)23,
2(3)48,
3(2)22,
4(3)36
- object-based,
1(2)49
- object-oriented,
1(2)3,
1(2)33,
1(2)49,
1(3)84,
3(2)22
- organisation,
3(1)12,
3(1)51,
3(4)21,
4(4)23,
4(4)36,
4(4)50
- oriented,
1(2)16,
1(2)21,
1(2)33,
1(2)49,
2(3)48,
3(1)75,
3(2)22,
4(2)26
- oriented, Object-,
1(2)3,
1(2)33,
1(2)49,
3(2)22
- oriented, object-,
1(2)3,
1(2)33,
1(2)49,
1(3)84,
3(2)22
- parse,
3(4)21
- Petri,
1(3)33,
2(4)9,
3(3)50
- process,
1(3)85,
2(4)20,
2(4)73,
3(1)61,
4(3)25,
4(4)50
- project,
1(3)81,
1(3)83,
3(1)51,
4(3)7
- property,
3(3)4
- refinement,
4(2)15
- simulation,
1(1)43,
1(3)33,
2(1)26,
2(1)40,
2(2)37,
2(3)13,
2(4)9,
2(4)32,
2(4)49,
3(1)37,
3(2)14,
3(2)22,
3(2)40,
3(3)50,
3(4)12,
3(4)14,
3(4)21,
3(4)34,
3(4)44,
4(1)74,
4(2)12,
4(2)41,
4(2)49,
4(3)25,
4(4)23
- specification,
1(2)3,
2(3)59,
2(3)72,
2(4)9,
3(3)50
- strategy,
2(2)57,
2(4)61,
3(3)4,
4(3)25
- structure,
1(4)58,
2(1)32,
2(2)8,
2(3)13,
2(3)37,
2(3)48,
2(3)59,
2(4)32,
3(1)12,
3(1)75,
3(4)12,
3(4)21,
4(2)15,
4(3)36
- support,
1(2)21,
1(2)33,
1(2)49,
1(2)62,
1(3)85,
1(4)16,
2(1)40,
2(2)50,
2(3)27,
2(3)48,
2(3)59,
2(3)71,
2(3)73,
2(4)9,
2(4)73,
3(1)12,
3(1)25,
3(1)37,
3(1)75,
3(2)22,
3(2)40,
3(4)21,
3(4)44,
3(4)72,
4(3)36
- synchronization,
2(1)51,
2(4)20,
2(4)32,
4(2)89,
4(3)45,
4(4)12,
4(4)23,
4(4)36
- techniques,
1(1)6,
1(1)9,
1(1)25,
1(1)52,
1(2)3,
1(2)16,
1(2)21,
1(2)33,
1(2)49,
1(2)73,
1(3)33,
1(4)16,
2(1)9,
2(1)26,
2(1)32,
2(1)51,
2(1)64,
2(2)5,
2(2)8,
2(2)17,
2(2)30,
2(2)37,
2(2)57,
2(3)5,
2(3)7,
2(3)8,
2(3)10,
2(3)16,
2(3)37,
2(3)71,
2(3)72,
2(3)73,
2(4)9,
2(4)73,
3(1)4,
3(1)37,
3(1)75,
3(2)4,
3(2)14,
3(2)22,
3(2)40,
3(3)50,
3(4)3,
3(4)12,
3(4)44,
3(4)61,
3(4)72,
4(1)6,
4(2)9,
4(2)12,
4(2)15,
4(2)49,
4(2)89,
4(4)8,
4(4)23
- theory,
1(1)6,
1(3)7,
1(3)12,
1(3)51,
2(3)16,
2(4)61,
2(4)73,
3(1)12,
3(4)44,
4(3)36,
4(4)12,
4(4)65