IngentaConnect Search Results

A Survey of Coverage-Based Testing Tools

Authors: Yang, Qian; Li, J. Jenny; Weiss, David M.

Source: Computer Journal, Volume 52, Number 5, 7 August 2009 , pp. 589-597(9)

Greenland ice-sheet volume sensitivity to basal, surface and initial conditions derived from an adjoint model

Authors: Heimbach, Patrick; Bugnion, Véronique

Source: Annals of Glaciology, Volume 50, Number 52, October 2009 , pp. 67-80(14)

Publisher: International Glaciological Society

Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts

Authors: Falb, Jurgen; Popp, Roman; Rock, Thomas; Jelinek, Helmut; Arnautovic, Edin; Kaindl, Hermann

Source: International Journal of Web Engineering and Technology, Volume 5, Number 2, 21 September 2009 , pp. 135-161(27)

Publisher: Inderscience Publishers

Validation of requirement models by automatic prototyping

Authors: Li, Dan; Li, Xiaoshan; Liu, Jicong; Liu, Zhiming

Source: Innovations in Systems and Software Engineering, Volume 4, Number 3, October 2008 , pp. 241-248(8)

Publisher: Springer

Improving the definition of general constraints in UML

Authors: Costal, Dolors; Gómez, Cristina; Queralt, Anna; Raventós, Ruth; Teniente, Ernest

Source: Software and Systems Modeling (SoSyM), Volume 7, Number 4, October 2008 , pp. 469-486(18)

Publisher: Springer

Automatic Multilevel Medical Image Annotation and Retrieval

Authors: Mueen, A.; Zainuddin, R.; Baba, M.

Source: Journal of Digital Imaging, Volume 21, Number 3, September 2008 , pp. 290-295(6)

Publisher: Springer

KWATT: a toolkit for automatic web service generation

Authors: Qu, Yenan; Bollig, Evan; Erlebacher, Gordon

Source: International Review of Economics, Volume 13, Number 1, July 2008 , pp. 59-69(11)

Publisher: Springer

Automatic CoDec generation to reduce test engineering cost

Authors: Sabiguero, Ariel; Baire, Anthony; Viho, César

Source: International Journal on Software Tools for Technology Transfer, Volume 10, Number 4, August 2008 , pp. 337-346(10)

Publisher: Springer

Automatic framework generation for hard real-time applications

Authors: Hamid, Irfan; Zalila, Bechir; Najm, Elie; Hugues, Jérôme

Source: Innovations in Systems and Software Engineering, Volume 4, Number 1, April 2008 , pp. 107-122(16)

Publisher: Springer

Modelling and simulation of social systems with INGENIAS

Authors: Pavon, Juan; Sansores, Candelaria; Gomez-Sanz, Jorge J.

Source: International Journal of Agent-Oriented Software Engineering, Volume 2, Number 2, 26 February 2008 , pp. 196-221(26)

Publisher: Inderscience Publishers

On the possibilities of (pseudo-) software cloning from external interactions

Authors: Reformat, Marek; Chai, Xinwei; Miller, James

Source: Soft Computing, Volume 12, Number 1, January 2008 , pp. 29-49(21)

Publisher: Springer

Using an interactive software environment for the parallelization of real-world scientific applications

Source: International Journal of Computer Mathematics, Volume 84, Number 2, February 2007 , pp. 167-175(9)

Publisher: Taylor and Francis Ltd

Cutting area extraction from a Z-map model

Authors: Yang, Jian-Zhong; Wang, Qi-Fu; Huang, Zheng-Dong; Chen, Gang

Source: The International Journal of Advanced Manufacturing Technology, Volume 33, Numbers 9-10, July 2007 , pp. 1010-1016(7)

Publisher: Springer

Implementing associations: UML 2.0 to Java 5

Authors: Akehurst, D.; Howells, G.; McDonald-Maier, K.

Source: Software and Systems Modeling (SoSyM), Volume 6, Number 1, March 2007 , pp. 3-35(33)

Publisher: Springer

Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian

Authors: Nedialkov, Nedialko S.; Pryce, John D.

Source: Bit Numerical Mathematics, Volume 47, Number 1, March 2007 , pp. 121-135(15)

Publisher: Springer

Finite element modelling of metallic tubular crash structures with an explicit code

Authors: Silcock, M.; Hall, W.; Fox, B.; Warrior, N.

Source: International Journal of Vehicle Safety, Volume 1, Number 4, 6 November 2006 , pp. 292-303(12)

Publisher: Inderscience Publishers

Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies

Authors: Girbal, Sylvain; Vasilache, Nicolas; Bastoul, Cédric; Cohen, Albert; Parello, David; Sigler, Marc; Temam, Olivier

Source: International Journal of Parallel Programming, Volume 34, Number 3, June 2006 , pp. 261-317(57)

Publisher: Springer

Efficient Techniques for Automatic Verification-Oriented Test Set Optimization

Authors: Sánchez, Ernesto; Reorda, Matteo; Squillero, Giovanni

Source: International Journal of Parallel Programming, Volume 34, Number 1, March 2006 , pp. 93-109(17)

Publisher: Springer

Automatic term list generation for entity tagging

Authors: Sandler, Ted; Schein, Andrew I.; Ungar, Lyle H.

Source: Bioinformatics, Volume 22, Number 6, 15 March 2006 , pp. 651-657(7)

Publisher: Oxford University Press

Automatic code generation for many-body electronic structure methods: the tensor contraction engine‡‡

Authors: Auer, Alexander A.; Baumgartner, Gerald; Bernholdt, David E.; Bibireata, Alina; Choppella, Venkatesh; Cociorva, Daniel; Gao, Xiaoyang; Harrison, Robert; Krishnamoorthy, Sriram; Krishnan, Sandhya; Lam, Chi-Chung; Lu, Qingda; Nooijen, Marcel; Pitzer, Russell; Ramanujam, J.; Sadayappan, P.; Sibiryakov, Alexander

Source: Molecular Physics, Volume 104, Number 2, Number 2/20 January 2006 , pp. 211-228(18)

Publisher: Taylor and Francis Ltd