Sciweavers

1593 search results - page 138 / 319
» A visual programming system for automated problem solving
Sort
View
IAT
2003
IEEE
15 years 9 months ago
SIMPLE - A Multi-Agent System for Simultaneous and Related Auctions
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
Ruy Luiz Milidiú, Taciana Melcop, Frederico...
ICSM
2000
IEEE
15 years 8 months ago
ConSIT: A Conditioned Program Slicer
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
Chris Fox, Mark Harman, Robert M. Hierons, Sebasti...
138
Voted
ISOLA
2010
Springer
15 years 2 months ago
Analysing Message Sequence Graph Specifications
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar
FCCM
2011
IEEE
331views VLSI» more  FCCM 2011»
14 years 7 months ago
Synthesis of Platform Architectures from OpenCL Programs
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
Muhsen Owaida, Nikolaos Bellas, Konstantis Dalouka...
133
Voted
GPCE
2005
Springer
15 years 9 months ago
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, E...