3730 search results - page 636 / 746 » Robust design of embedded systems |
110
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
107
Voted
APCSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
DAC
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we present the impact of dynamically translating any sequence of instructions into combinational logic. The proposed approach combines a reconfigurable architecture ...
88
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
Many tasks on the semantic web require the user to choose concepts from a limited vocabulary e.g. for describing an indexed resource or for use in semantic search. Semantic autocom...
112
Voted
IPCO
2008
15 years 2 months ago
2008
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound proce...