908 search results - page 44 / 182 » Temporal Analysis of Time Bounded Digital Systems |
136
Voted
CAV
2000
Springer
15 years 7 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
148
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
141
Voted
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
121
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
135
Voted
ICANN
1997
Springer
15 years 7 months ago
1997
Springer
The processing or the recognition of non stationary process with neural networks is a challenging and yet unsolved issue. The paper discuss the general pattern recognition framewor...