Result 1 to 17 of 17 total
Invariant functions and invariant relations: an alternative to invariant assertions. (English)
J. Symb. Comput. 48, 1-36 (2013).
1
Maximal and compositional pattern-based loop invariants. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 37-51 (2012).
2
Predicate generation for learning-based quantifier-free loop invariant inference. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 25, 21 p. (2012).
3
An algorithm for automatic 2D finite element mesh generation with line constraints. (English)
Comput.-Aided Des. 43, No. 12, 1803-1813 (2011).
4
A PLL-based synthesizer for tunable digital clock generation in a continuous-time $\varSigma \varDelta $ A/D converter. (English)
Integr., VLSI J. 42, No. 1, 24-33 (2009).
5
Parallel loop generation and scheduling. (English)
J. Supercomput. 50, No. 3, 289-306 (2009).
6
A vector quantization approach to scenario generation for stochastic NMPC. (English)
Magni, Lalo (ed.) et al., Nonlinear model predictive control. Towards new challenging applications. Selected papers based on the presentations at the international workshop on assessment and future directions of nonlinear model predictive control (NMPC08), Pavia, Italy, September 5‒9, 2008. Berlin: Springer (ISBN 978-3-642-01093-4/hbk; 978-3-642-01094-1/ebook). Lecture Notes in Control and Information Sciences 384, 235-248 (2009).
7
Modeling and simulation of inchworm mode locomotion. (English)
Xiong, Caihua (ed.) et al., Intelligent robotics and applications. First international conference, ICIRA 2008, Wuhan, China, October 15‒17, 2008. Proceedings, Part I. Berlin: Springer (ISBN 978-3-540-88512-2/pbk). Lecture Notes in Computer Science 5314. Lecture Notes in Artificial Intelligence, 617-624 (2008).
8
Termination detection in parallel loop nests with while loops. (English)
Parallel Comput. 25, No.12, 1489-1510 (1999).
9
Loop parallelization algorithms: From parallelism extraction to code generation. (English)
Parallel Comput. 24, No.3-4, 421-444 (1998).
10
An approach towards parallelisation of sequential programs in an interactive environment. (English)
Inf. Softw. Technol. 39, No. 2, 77-89 (1997).
11
A simple algorithm for the generation of efficient loop structures. (English)
Int. J. Parallel Program. 24, No. 3, 265-289 (1996).
12
Analysis of loop methods for simulating gas networks. (English)
Comput. Methods Appl. Mech. Eng. 65, 201-213 (1987).
13
Analysis of loop methods used in gas networks simulation. (Polish)
Arch. Autom. Telemech. 31, 345-354 (1986).
14
Erweiterung der Bewegungsgleichungen von Mehrkörpersystemen zur Berücksichtigung von Reibung und Regelung. (Extension of the equations of motion of multibody systems taking into account friction and control). (German)
Z. Angew. Math. Mech. 66, 449-457 (1986).
15
A note on removing loops from table-driven code generators. (English)
Inf. Process. Lett. 21, 31-38 (1985).
16
Generation in the memory loop of an asynchronous logical circuit. (English)
Autom. Remote Control 39, 587-592 (1978); translation from Avtom. Telemekh. 1978, No.4, 144-150 (1978).
17
Result 1 to 17 of 17 total
Start
Contact
Print
General Help
