7956 search results - page 62 / 1592 » Into the Future |
RV
2009
Springer
14 years 4 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...
SAMOS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
MM
2009
ACM
14 years 4 months ago
2009
ACM
C5
2008
IEEE
14 years 4 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...
CISIS
2008
IEEE
14 years 4 months ago
2008
IEEE
