15784 search results - page 921 / 3157 » Mega Software Engineering |
261
click to vote
ARCS
2012
Springer
14 years 3 months ago
2012
Springer
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
198
click to vote
FOSSACS
2012
Springer
14 years 3 months ago
2012
Springer
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
231
click to vote
FOSSACS
2012
Springer
14 years 3 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
211
click to vote
PEPM
2012
ACM
14 years 3 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
260
click to vote
SOCO
2012
Springer
14 years 3 months ago
2012
Springer
Abstract Population-based meta-heuristics are algorithms that can obtain very good results for complex continuous optimization problems in a reduced amount of time. These search al...