399 search results - page 19 / 80 » Iterator Types |
DAC
1996
ACM
15 years 3 months ago
1996
ACM
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
CLUSTER
2001
IEEE
15 years 3 months ago
2001
IEEE
Distributed Computing Systems are a viable and less expensive alternative to parallel computers. However, a serious difficulty in concurrent programming of a distributed system is...
112
click to vote
ENTCS
2002
14 years 11 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
104
click to vote
SIAMJO
2010
14 years 6 months ago
2010
In this paper, a primal dual method for general possible nonconvex nonlinear optimization problems is considered. The method is an exterior point type method which means that it p...
MANSCI
2008
14 years 11 months ago
2008
We study an iterative cutting-plane algorithm on an integer program, for minimizing the staffing costs of a multiskill call center subject to service-level requirements which are e...