2636 search results - page 171 / 528 » Linear Programming |
122
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
123
Voted
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and...
108
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
120
click to vote
EWC
2000
15 years 2 months ago
2000
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...