7956 search results - page 62 / 1592 » Into the Future |
116
Voted
RV
2009
Springer
15 years 10 months ago
2009
Springer
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
134
click to vote
SAMOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
223
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
C5
2008
IEEE
15 years 10 months ago
2008
IEEE
Sophie is an easy-to-use authoring tool that enables its users to combine various media into a new kind of book. With SophieServer, an extension to Sophie, it is now possible to s...
89
Voted
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
