8780 search results - page 228 / 1756 » On the Feasibility of Consistent Computations |
320
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
215
click to vote
GECCO
2004
Springer
16 years 19 days ago
2004
Springer
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...
222
click to vote
CODES
2010
IEEE
15 years 5 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
237
click to vote
DASFAA
2011
IEEE
14 years 11 months ago
2011
IEEE
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
197
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...