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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Filter