9521 search results - page 141 / 1905 » Compiling with continuations, continued |
136
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
125
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
– Within the next years a new generation of humanoid robots is going to be developed being able to manage autonomously sophisticated tasks in a complex, time variant domestic env...
122
click to vote
GLVLSI
2005
IEEE
15 years 8 months ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
111
click to vote
ISPAN
2005
IEEE
15 years 8 months ago
2005
IEEE
Addition of new nodes to a Sensor Network is a fundamental requirement for their continuity operation over time. We analyze the weakening of security due to node capture when addi...