438 search results - page 21 / 88 » Efficient Timing Analysis Algorithms for Timed State Space E... |
135
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
115
click to vote
VTC
2010
IEEE
15 years 1 months ago
2010
IEEE
: This paper presents a link level analysis of the rate and energy efficiency performance of the LTE downlink considering the unitary codebook based precoding scheme. In a multi-us...
137
click to vote
AAAI
2006
15 years 4 months ago
2006
We present tractable, exact algorithms for learning actions' effects and preconditions in partially observable domains. Our algorithms maintain a propositional logical repres...
128
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
275
click to vote
Publication
Congestion avoidance mechanisms allow a network to operate in the optimal region of low delay and high throughput, thereby, preventing the network from becoming congested. This is ...