Pascal and Francis Bibliographic Databases


Search results

Your search

kw.\*:("Model based programming")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 44

  • Page / 2

Selection :

  • and

Generation of demand feedback in intelligent tutors for programmingKUMAR, Amruth N.Lecture notes in computer science. 2004, pp 444-448, issn 0302-9743, isbn 3-540-22004-6, 5 p.Conference Paper

Modeling and programming devices and Web agentsMCILRAITH, Sheila A.Lecture notes in computer science. 2001, pp 63-77, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Analysis and model-based control of servomechanisms with frictionPAPADOPOULOS, Evangelos G; CHASPARIS, Georgios C.Journal of dynamic systems, measurement, and control. 2004, Vol 126, Num 4, pp 911-915, issn 0022-0434, 5 p.Article

Une bibliothèque métaprogrammée pour la programmation parallèle = A metaprogrammed library for parallel programmingFALCOU, Joël; SEROT, Jocelyn.TSI. Technique et science informatiques. 2009, Vol 28, Num 5, pp 645-675, issn 0752-4072, 31 p.Article

Reactive, model-based monitoring in RFID-enabled manufacturingYI HUANG; WILLIAMS, Brian C; LI ZHENG et al.Computers in industry. 2011, Vol 62, Num 8-9, pp 811-819, issn 0166-3615, 9 p.Article

Failure Handling in a Network-Transparent Distributed Programming LanguageCOLLET, Raphaël; VAN ROY, Peter.Advanced topics in exception handling techniques. Lecture notes in computer science. 2006, pp 121-140, issn 0302-9743, isbn 3-540-37443-4, 1Vol, 20 p.Book Chapter

Extensible parallel architectural skeletonsMOHAMMAD MURSALIN AKON; SINGH, Ajit; GOSWAMI, Dhrubajyoti et al.Lecture notes in computer science. 2005, pp 290-301, issn 0302-9743, isbn 3-540-30936-5, 1Vol, 12 p.Conference Paper

Reusable dialog component framework for rapid voice application developmentAKOLKAR, Rahul P; FARUQUIE, Tanveer; HUERTA, Juan et al.Lecture notes in computer science. 2005, pp 306-321, issn 0302-9743, isbn 3-540-25877-9, 16 p.Conference Paper

Model-based clustering for image segmentation and large datasets via samplingWEHRENS, Ron; BUYDENS, Lutgarde M. C; FRALEY, Chris et al.Journal of classification. 2004, Vol 21, Num 2, pp 231-253, issn 0176-4268, 23 p.Article

Service-oriented device ecology workflowsSENG WAI LOKE.Lecture notes in computer science. 2003, pp 559-574, issn 0302-9743, isbn 3-540-20681-7, 16 p.Conference Paper

Language support for fast and reliable message-based communication in singularity OSFÄHNDRICH, Manuel; AIKEN, Mark; HAWBLITZEL, Chris et al.Operating systems review. 2006, Vol 40, Num 4, pp 177-190, issn 0163-5980, 14 p.Conference Paper

Model-based proportional-integral-derivative autotuning improved with relay feedback identificationLEVA, A.IEE proceedings. Control theory and applications. 2005, Vol 152, Num 2, pp 247-256, issn 1350-2379, 10 p.Article

Chance-constrained programming for fuzzy quadratic minimum spanning tree problemJINWU GAO; MEI LU; LINZHONG LIU et al.IEEE International Conference on Fuzzy Systems. 2004, isbn 0-7803-8353-2, 3Vol, vol 2, 983-987Conference Paper

SuperPAS: A Parallel Architectural Skeleton model supporting extensibility and Skeleton compositionMOHAMMAD MURSALIN AKON; GOSWAMI, Dhrubajyoti; HON FLING LI et al.Lecture notes in computer science. 2004, pp 985-996, issn 0302-9743, isbn 3-540-24128-0, 12 p.Conference Paper

Exceptions in a Programmable Logic Controller implementation based on ADAPLAZA, Inmaculada; MEDRANO, Carlos.Computers in industry. 2007, Vol 58, Num 4, pp 347-354, issn 0166-3615, 8 p.Article

Recurrent networks for compressive samplingLEUNG, Chi-Sing; SUM, John; CONSTANTINIDES, A. G et al.Neurocomputing (Amsterdam). 2014, Vol 129, pp 298-305, issn 0925-2312, 8 p.Article

Programming support and scheduling for communicating parallel tasksDÜMMLER, Jörg; RAUBER, Thomas; RÜNGER, Gudula et al.Journal of parallel and distributed computing (Print). 2013, Vol 73, Num 2, pp 220-234, issn 0743-7315, 15 p.Article

From zinc to design modelRAFEH, Reza; GARCIA DE LA BANDA, Maria; MARRIOTT, Kim et al.Lecture notes in computer science. 2007, pp 215-229, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

Calculation of the shortest-time path for traversal of an obstacle course by a robotKHAN, Rishi T; HALL, Ernest L.SPIE proceedings series. 2004, pp 88-98, isbn 0-8194-5561-X, 11 p.Conference Paper

OmpSs: A PROPOSAL FOR PROGRAMMING HETEROGENEOUS MULTI-CORE ARCHITECTURESDURAN, Alejandro; AYGUADE, Eduard; BADIA, Rosa M et al.Parallel processing letters. 2011, Vol 21, Num 2, pp 173-193, issn 0129-6264, 21 p.Conference Paper

Design and implementation of a grid-enabled component container for CORBA lightweight componentsSEVILLA, Diego; GARCIA, José M; GOMEZ, Antonio et al.Lecture notes in computer science. 2004, pp 59-66, issn 0302-9743, isbn 3-540-21048-2, 8 p.Conference Paper

Model and Solution for the Multilevel Production-Inventory System Before Ironmaking in Shanghai Baoshan Iron and Steel ComplexGUOLI LIU; LIXIN TANG.Lecture notes in computer science. 2006, pp 659-667, issn 0302-9743, isbn 3-540-34070-X, 9 p.Conference Paper

A model-based framework for the safety analysis of computer-based railway signalling systemsNIU, R; TANG, T.Transactions on the built environment. 2010, Vol v. 114, pp 827-838, issn 1746-4498, isbn 978-1-8456-4468-0, 1Vol, 12 p.Conference Paper

The design and implementation of lilytask in shared memoryYAN TANG; TAO WANG; XIAOMING LI et al.Operating systems review. 2005, Vol 39, Num 3, pp 52-63, issn 0163-5980, 12 p.Article

Modeling and verification of distributed autonomous agents using logic programmingPOKORNY, L. Robert; RAMAKRISHNAN, C. R.Lecture notes in computer science. 2005, pp 148-165, issn 0302-9743, isbn 3-540-26172-9, 18 p.Conference Paper

  • Page / 2