9604 search results - page 203 / 1921 » The Duality of TIme and Information |
181
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. This paper introduces a set of design principles that aim to make processor architectures amenable to static timing analysis. Based on these principles, we give a design ...
148
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Time encoding is a real-time asynchronus mechanism of mapping analog amplitude information into multidimensional time sequences. We investigate the exact representation of analog ...
155
click to vote
GLOBECOM
2006
IEEE
16 years 20 days ago
2006
IEEE
—This paper introduces a novel deployment time optimization technology for Internet services. Using the configuration information collected from the operation environment, the pr...
155
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
208
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...