5015 search results - page 762 / 1003 » Model Checking a Path |
130
click to vote
ASPDAC
2006
ACM
16 years 17 days ago
2006
ACM
—On optimizing circuit trajectories, i.e. continuous paths of circuit parameters, the paper presents an auxiliary network approach, which utilizes Pontryagin’s Minimum Principl...
183
click to vote
ISQED
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
172
click to vote
NCA
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
199
click to vote
ICOIN
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we propose a novel congestion control mechanism of TCP, by using an inline network measurement technique. By using information of available bandwidth of a network pa...
152
click to vote
ISMIR
2005
Springer
16 years 3 days ago
2005
Springer
We present a new method to segment popular music based on rhythm. By computing a shortest path based on the self-similarity matrix calculated from a model of rhythm, segmenting bo...