• Suche: "Concurrent Aggregates (Computer program language)"

Treffer 1 - 20 von 63

1

Element of Interaction :Touring Award Lecture.
Milner, Robin
Communications of the ACM. Jan1993, Vol. 36 Issue 1, p78-89. 12p.

Information theory Computer software Programming languages Concurrent Aggregates (C... Comparative linguistics Semantics
Zeitschrift
Zur Merkliste hinzufügen
2

Concurrency Paradigms: Competitive, Coordinated, and Collaborative: Which Control Mechanisms are Appropriate?
Gentleman, W.
International Journal of Parallel Programming. Apr2016, Vol. 44 Issue 2, p325-336. 12p.

Parallel programming Computer programming Concurrent Aggregates (C... Turing machines Computer simulation
Fachzeitschrift
Zur Merkliste hinzufügen
3

Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench
Kapoor, Hemangee K. ; Josephs, Mark B.
Information Processing Letters. Mar2004, Vol. 89 Issue 6, p293. 4p.

Systems design Concurrent Aggregates (C... Asynchronous circuits Formal methods (Computer...
Fachzeitschrift
Zur Merkliste hinzufügen
4

SYSTEMATIC CONCURRENT OBJECT-ORIENTED PROGRAMMING.
Communications of the ACM; Sep93, Vol. 36 Issue 9, p56-80, 25p

OBJECT-oriented programm... COMPUTER multitasking OBJECT-oriented methods... PROGRAMMING languages CONCURRENT Aggregates (C... COMPUTER software develo... …
Zeitschrift
Zur Merkliste hinzufügen
5

Turn-Taking and Concurrent Dyad Practice Aid Efficiency but not Effectiveness of Motor Learning in a Balance-Related Task.
Karlinsky, April ; Hodges, Nicola J.
Journal of Motor Learning & Development; Jun2018, Vol. 6 Issue 1, p35-52, 18p

MOTOR learning MEMORY LEARNING DYADIC communication CONCURRENT Aggregates (C...
Fachzeitschrift
Zur Merkliste hinzufügen
6

Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.3 Contracts for shared variable concurrency.
Benveniste, A. ; Caillaud, B. ; Nickovic, D. ; et al.
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p224-227, 4p

BENVENISTE, Albert NICKOVIC, Dejan CONCURRENT Aggregates (C... SURETYSHIP & guaranty CONTRACTS MATHEMATICAL models …
Fachzeitschrift
Zur Merkliste hinzufügen
7

Visualisation of concurrent processes.
Mikulski, Łukasz ; Piątkowski, Marcin
Control & Cybernetics. 2013, Vol. 42 Issue 3, p699-725. 27p.

Concurrent Aggregates (C... Programming languages Hasse diagrams Graphic methods for part... Visual programming langu... Algorithms
Fachzeitschrift
Zur Merkliste hinzufügen
8

Interfacing external CA systems for Grobner bases computation in Mizar proof checking.
Naumowicz, Adam
International Journal of Computer Mathematics. Jan2010, Vol. 87 Issue 1, p1-11. 11p. 1 Chart.

Case studies Gröbner bases Concurrent Aggregates (C... Algebra software Mathematical analysis Mathematics research …
Fachzeitschrift
Zur Merkliste hinzufügen
9

Integration of candidate hash trees in concurrent processing of frequent itemset queries using Apriori.
Grudziński1, Przemyslaw ; Wojciechowski, Marek
Control & Cybernetics. Mar2009, Vol. 38 Issue 1, p47-65. 19p. 3 Diagrams, 2 Charts, 8 Graphs.

Fractional calculus Concurrent Aggregates (C... Numerical integration Querying (Computer scien... Search algorithms A priori
Fachzeitschrift
Zur Merkliste hinzufügen
10

A New Optimistic Concurrency Control in Valid XML.
CHANGWOO BYUN ; ILKOOK YUN ; SEOG PARK
Journal of Information Science & Engineering. Jan2009, Vol. 25 Issue 1, p11-31. 21p. 9 Diagrams, 4 Charts, 3 Graphs.

Concurrent Aggregates (C... XML (Extensible Markup L... Computer users QUERY (Information retri... Algorithms
Fachzeitschrift
Zur Merkliste hinzufügen
11

Generating Exact Approximations to Model Check Concurrent Systems.
Bourahla, Mustapha
International Arab Journal of Information Technology (IAJIT). Oct2008, Vol. 5 Issue 4, p137-145. 9p. 7 Diagrams.

Concurrent Aggregates (C... Concurrent engineering Abstract thought Syntax (Grammar) Semantics Approximation theory …
Fachzeitschrift
Zur Merkliste hinzufügen
12

Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion.
ALGLAVE, JADE ; KROENING, DANIEL ; POETZL, DANIEL ; et al.
ACM Transactions on Programming Languages & Systems; 2017, Vol. 39 Issue 2, p6-6:38, 38p

COMPUTER architecture COMPUTABLE functions PARALLEL computers COMPUTER storage devices CONCURRENT Aggregates (C... SCALABILITY
Fachzeitschrift
Zur Merkliste hinzufügen
13

The Primer (version 3.3).
Şerbănuţă, Traian Florin ; Arusoaie, Andrei ; Lazar, David ; et al.
ENTCS: Electronic Notes in Theoretical Computer Science. Jun2014, Vol. 304, p57-80. 24p.

Programming languages Interpreters (Computer p... APT (Computer program la... Concurrent Aggregates (C... Computer software State-space methods
Zeitschrift
Zur Merkliste hinzufügen
14

Solving 11 Likely Problems In Your MuItithreaded Code.
Duffy, Joe
MSDN (1528-4859). Oct2008, Vol. 23 Issue 11, p104-109. 6p. 4 Charts.

Simultaneous multithread... Concurrent Aggregates (C... Programming languages Computer software develo... Reliability in engineeri... Robust control …
Zeitschrift
Zur Merkliste hinzufügen
15

Model checking unbounded concurrent lists.
Sethi, Divjyot ; Talupur, Muralidhar ; Malik, Sharad
International Journal on Software Tools for Technology Transfer; Aug2016, Vol. 18 Issue 4, p375-391, 17p

CONCURRENT Aggregates (C... DATA structures VERIFICATION of computer... ITERATIVE methods (Mathe... WIRELESS sensor nodes
Fachzeitschrift
Zur Merkliste hinzufügen
16

A transformation-based approach to testing concurrent programs using UML activity diagrams.
Sun, Chang‐ai ; Zhao, Yan ; Pan, Lin ; et al.
Software: Practice & Experience; Apr2016, Vol. 46 Issue 4, p551-576, 26p

UNIFIED modeling languag... COMPUTER programming CONCURRENT Aggregates (C... COMPUTER software PARALLEL programs (Compu...
Fachzeitschrift
Zur Merkliste hinzufügen
17

Handling Data Concurrency Using ADO.NET.
Papa, John
MSDN (1528-4859). Sep2004, Vol. 19 Issue 9, p21-25. 5p.

Databases Computer files Electronic information r... Concurrent Aggregates (C... Programming languages Computer software …
Zeitschrift
Zur Merkliste hinzufügen
18

Semantic domains for Handel-C
Butterfield, Andrew ; Woodcock, Jim
ENTCS: Electronic Notes in Theoretical Computer Science. Oct2003, Vol. 74, p1-20. 20p.

Computer simulation C (Computer program lang... Programming languages Concurrent Aggregates (C...
Zeitschrift
Zur Merkliste hinzufügen
19

System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction.
Urdahl, Joakim ; Stoffel, Dominik ; Wedler, Markus ; et al.
DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p334-343, 10p, 9 Diagrams, 1 Chart

VERIFICATION of computer... RTL (Computer program la... CONCURRENT Aggregates (C... SYSTEMS design COMPUTER simulation of i... COMPUTER software
Konferenz
Zur Merkliste hinzufügen
20

MODELING FUZZY BEHAVIOURS IN CONCURRENT SYSTEMS.
D'ERRICO, LILIANA ; LORETI, MICHELE
Theoretical Computer Science - Proceedings of the 10th Italian Conference on Ictcs '07; 2007, p94-105, 12p

CONCURRENT Aggregates (C... PROGRAMMING language sem... MACHINE theory FUZZY sets REAL numbers
Konferenz
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter