Works matching DE "CSP (Computer program language)"

Results: 22

An improved constrained learning path adaptation problem based on genetic algorithm.

Published in:

Interactive Learning Environments, 2023, v. 31, n. 6, p. 3595, doi. 10.1080/10494820.2021.1937659

By:

Benmesbah, Ouissem;
Lamia, Mahnane;
Hafidi, Mohamed

Publication type:

Article

Set constraint model and automated encoding into SAT: application to the social golfer problem.

Published in:

Annals of Operations Research, 2015, v. 235, n. 1, p. 423, doi. 10.1007/s10479-015-1914-5

By:

Lardeux, Frédéric;
Monfroy, Eric;
Crawford, Broderick;
Soto, Ricardo

Publication type:

Article

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently.

Published in:

Annals of Operations Research, 1994, v. 50, n. 1-4, p. 411, doi. 10.1007/BF02085650

By:

Menezes, Francisco;
Barahona, Pedro

Publication type:

Article

Distributed singleton consistency.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2004, v. 16, n. 2, p. 107, doi. 10.1080/09528130410001724968

By:

Sakellariou, Ilias;
Vlahavas, Ioannis

Publication type:

Article

A Tool for Checking the CSP sat Property.

Published in:

Computer Journal, 2000, v. 43, n. 1, p. 13, doi. 10.1093/comjnl/43.1.13

By:

Martin, Jeremy M. R.

Publication type:

Article

Formal Specification of Concurrent Systems: A Structured Approach.

Published in:

Computer Journal, 1998, v. 41, n. 3, p. 145, doi. 10.1093/comjnl/41.3.145

By:

Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Savy, C.;
Vittorini, V.

Publication type:

Article

Dynamic Constraint Satisfaction with Space Reduction in Smart Environments.

Published in:

International Journal on Artificial Intelligence Tools, 2014, v. 23, n. 6, p. -1, doi. 10.1142/S0218213014600276

By:

Degeler, Viktoriya;
Lazovik, Alexander

Publication type:

Article

DETERMINING THE PRINCIPLES UNDERLYING PERFORMANCE VARIATION IN CSP HEURISTICS.

Published in:

International Journal on Artificial Intelligence Tools, 2008, v. 17, n. 5, p. 857, doi. 10.1142/S0218213008004199

By:

WALLACE, RICHARD J.

Publication type:

Article

On constraint satisfaction problems below P.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 3, p. 893, doi. 10.1093/logcom/exu003

By:

EGRI, LÁSZLÓ

Publication type:

Article

Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2012, v. 19, n. 1-3, p. 3

By:

ARGELICH, JOSEP;
CABISCOL, ALBA;
LYNCE, INÊS;
MANYÀ, FELIP

Publication type:

Article

A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHM.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 1, p. 125, doi. 10.1142/S0129054108005577

By:

STRAUSS, TINUS;
KOURIE, DERRICK G.;
WATSON, BRUCE W.

Publication type:

Article

FDR3: a parallel refinement checker for CSP.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 149, doi. 10.1007/s10009-015-0377-y

By:

Gibson-Robinson, Thomas;
Armstrong, Philip;
Boulgakov, Alexandre;
Roscoe, A.

Publication type:

Article

Techniques for modelling and verifying railway interlockings.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 685, doi. 10.1007/s10009-014-0304-7

By:

James, Phillip;
Moller, Faron;
Nguyen, Hoang;
Roggenbach, Markus;
Schneider, Steve;
Treharne, Helen

Publication type:

Article

Formal modeling and validation of Stateflow diagrams.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 653, doi. 10.1007/s10009-012-0235-0

By:

Chen, Chunqing;
Sun, Jun;
Liu, Yang;
Dong, Jin;
Zheng, Manchun

Publication type:

Article

Formal methods for security in the Xenon hypervisor.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 463, doi. 10.1007/s10009-011-0195-9

By:

Freitas, Leo;
McDermott, John

Publication type:

Article

Models for CSP with availability information.

Published in:

Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 1022, doi. 10.1017/S0960129514000334

By:

LOWE, GAVIN

Publication type:

Article

Sound and mechanised compositional verification of input-output conformance.

Published in:

Software Testing: Verification & Reliability, 2014, v. 24, n. 4, p. 289, doi. 10.1002/stvr.1498

By:

Sampaio, Augusto;
Nogueira, Sidney;
Mota, Alexandre;
Isobe, Yoshinao

Publication type:

Article

Model Checking of E-Commerce Protocol using Casper FDR.

Published in:

International Journal of Advanced Research in Computer Science, 2013, v. 4, n. 10, p. 12

By:

Sravanthi, Dantuluri

Publication type:

Article

Exact and numerical solutions of coupled short pulse equation with time-dependent coefficients.

Published in:

Nonlinear Dynamics, 2015, v. 79, n. 1, p. 455, doi. 10.1007/s11071-014-1678-5

By:

Gupta, R.;
Kumar, Vikas;
Jiwari, Ram

Publication type:

Article

Counting and enumerating partial Latin rectangles by means of computer algebra systems and CSP solvers.

Published in:

Mathematical Methods in the Applied Sciences, 2018, v. 41, n. 17, p. 7236, doi. 10.1002/mma.4820

By:

Falcón, Raúl M.;
Falcón, Óscar J.;
Núñez, Juan

Publication type:

Article

A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/lmcs-9(3:24)2013

By:

OUAKNINE, JOËL;
PALIKAREVA, HRISTINA;
ROSCOE, A. W.;
WORRELL, JAMES

Publication type:

Article

Investigating a file transfer protocol using CSP and B.

Published in:

Software & Systems Modeling, 2005, v. 4, n. 3, p. 258, doi. 10.1007/s10270-005-0084-3

By:

Evans, Neil;
Treharne, Helen

Publication type:

Article