Sciweavers

1593 search results - page 190 / 319
» A visual programming system for automated problem solving
Sort
View
ISCA
2002
IEEE
174views Hardware» more  ISCA 2002»
15 years 4 months ago
Efficient Task Partitioning Algorithms for Distributed Shared Memory Systems
In this paper, we consider the tree task graphs which arise from many important programming paradigms such as divide and conquer, branch and bound etc., and the linear task-graphs...
Sibabrata Ray, Hong Jiang
SIAMJO
2000
74views more  SIAMJO 2000»
15 years 4 months ago
A Specialized Interior-Point Algorithm for Multicommodity Network Flows
Abstract. Despite the efficiency shown by interior-point methods in large-scale linear programming, they usually perform poorly when applied to multicommodity flow problems. The ne...
Jordi Castro
ESOP
1999
Springer
15 years 8 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
3DPVT
2004
IEEE
183views Visualization» more  3DPVT 2004»
15 years 8 months ago
Projection Model, 3D Reconstruction and Rigid Motion Estimation from Non-Central Catadioptric Images
This paper addresses the problem of rigid motion estimation and 3D reconstruction in vision systems where it is possible to recover the incident light ray direction from the image...
Nuno Gonçalves, Helder Araújo
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 9 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva