• Suche: Prototyping parallel algorithms in a set-oriented language

Treffer 1 - 19 von 19

1

Quantum-inspired metaheuristic algorithms: comprehensive survey and classification.
Gharehchopogh, Farhad Soleimanian
Artificial Intelligence Review; Jun2023, Vol. 56 Issue 6, p5479-5543, 65p

METAHEURISTIC algorithms QUANTUM computing PARALLEL processing ENGINEERING instruments PROBLEM solving CLASSIFICATION
Fachzeitschrift
Merkliste
2

A framework for monitored dynamic slicing of reaction systems.
Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno
Natural Computing; Jun2024, Vol. 23 Issue 2, p217-234, 18p

DEBUGGING SEMANTICS ALGORITHMS
Fachzeitschrift
Merkliste
3

Declarative Programming with Intensional Sets in Java Using JSetL.
Cristiá, Maximiliano ; Fois, Andrea ; Rossi, Gianfranco
Computer Journal; Mar2023, Vol. 66 Issue 3, p763-784, 22p

JAVA programming languag... LOGIC programming FIRST-order logic
Fachzeitschrift
Merkliste
4

Fifty Years of Prolog and Beyond.
KÖRNER, PHILIPP ; LEUSCHEL, MICHAEL ; BARBOSA, JOÃO ; et al.
Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

LOGIC programming PROGRAMMING languages SWOT analysis LEARNING
Fachzeitschrift
Merkliste
5

Performance Evaluation Metrics for Multi-Objective Evolutionary Algorithms in Search-Based Software Engineering: Systematic Literature Review.
Nuh, Jamal Abdullahi ; Koh, Tieng Wei ; Baharom, Salmi ; et al.
Applied Sciences (2076-3417); Apr2021, Vol. 11 Issue 7, p3117, 25p

EVOLUTIONARY algorithms KEY performance indicato... SOFTWARE engineers TECHNICAL literature SOFTWARE engineering SOFTWARE verification
Fachzeitschrift
Merkliste
6

Online Reorganization of Databases.
SOCKUT, GARY H. ; IYER, BALAKRISHNA R.
ACM Computing Surveys. Jul2009, Vol. 41 Issue 3, p14.1-14.136. 136p. 5 Diagrams, 2 Charts.

Fachzeitschrift
Merkliste
7

BackMatter.
Özsu, M. Tamer ; Valduriez, Patrick
Principles of Distributed Database Systems, Third Edition; 2011, p765-845, 81p

Buch
Merkliste
8

Software defined networking: State-of-the-art.
Jain, Vanita ; Yatri, Vivek ; Kanchan ; et al.
Journal of High Speed Networks. 2019, Vol. 25 Issue 1, p1-40. 40p.

Fachzeitschrift
Merkliste
9

Formal specification languages in knowledge and software engineering.
Fensel, Dieter
Knowledge Engineering Review; Dec1995, Vol. 10 Issue 4, p361-404, 44p

Fachzeitschrift
Merkliste
10

Reducing Layered Database Applications to their Essence through Vertical Integration.
RIETVELD, KRISTIAN F. D. ; WIJSHOFF, HARRY A. G.
ACM Transactions on Database Systems. Oct2015, Vol. 40 Issue 3, p18:1-18:39. 39p.

Fachzeitschrift
Merkliste
11

Animation of Object-Z specifications using a Z animator.
McComb, T. ; Smith, G.
Proceedings of the First International Conference on Software Engineering & Formal Methods, 2003; 2003, p191-200, 10p

Konferenz
Merkliste
12

InterBase-KB: Integrating a Knowledge Base System with a Multidatabase System for Data Warehousing.
Bassiliades, Nick ; Vlahavas, Ioannis ; Elmagarmid, Ahmed K. ; et al.
IEEE Transactions on Knowledge & Data Engineering; Sep/Oct2003, Vol. 15 Issue 5, p1188-1205, 18p, 4 Black and White Photographs, 8 Diagrams, 1 Chart

DATA warehousing EXPERT systems
Fachzeitschrift
Merkliste
13

A data/knowledge paradigm for the modeling and design of operations support systems.
Vaishnavi, Vijay K. ; Buchanan, Gary C.
IEEE Transactions on Knowledge & Data Engineering; Mar/Apr97, Vol. 9 Issue 2, p275, 17p, 3 Black and White Photographs, 10 Diagrams, 9 Charts

MANAGEMENT information s... OPERATION support system...
Fachzeitschrift
Merkliste
14

A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.
Gauthier, Jean-Marie ; Bouquet, Fabrice ; Hammad, Ahmed ; et al.
Formal Methods & Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings; 2015, p134-152, 19p

Buch
Merkliste
15

Software-Defined Networking: A Comprehensive Survey.
Kreutz, Diego ; Ramos, Fernando M. V. ; Verissimo, Paulo Esteves ; et al.
Proceedings of the IEEE; Jan2015, Vol. 103 Issue 1, p14-76, 63p

COMPUTER networks COMPUTER network managem... IP networks INTERNET access control INTERNET protocols
Fachzeitschrift
Merkliste
16

Refinement preservation for rule selection in active object-oriented database systems.
Yuh-Ming Shyy ; Su, S.Y.W.
Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems; 1994, p115-123, 9p

Konferenz
Merkliste
17

Survey of Spatio-Temporal Databases.
Abraham, Tamas ; Roddick, John F.
GeoInformatica; Mar1999, Vol. 3 Issue 1, p61, 39p

TEMPORAL databases SPATIAL systems
Fachzeitschrift
Merkliste
18

EGU General Assembly 2011.
Geophysical Research Abstracts; 2011, Vol. 13, p1-13047, 13047p

Fachzeitschrift
Merkliste
19

Using tickets to enforce the serializability of multidatabase transactions.
Georgakopoulos, D. ; Rusinkiewicz, M. ; Sheth, A.P.
IEEE Transactions on Knowledge & Data Engineering; 1994, Vol. 6 Issue 1, p166-180, 15p

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter