7956 search results - page 62 / 1592 » Into the Future |
117
click to vote
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...
139
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 ...
98
Voted
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...
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
