4164 search results - page 190 / 833 » Timing model reduction for hierarchical timing analysis |
175
click to vote
WSC
2007
15 years 8 months ago
2007
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...
174
click to vote
IJCAI
2007
15 years 8 months ago
2007
We propose a supervised maximum entropy ranking approach to pronoun resolution as an alternative to commonly used classification-based approaches. Classification approaches cons...
159
click to vote
WSC
2007
15 years 8 months ago
2007
Machine failure is often an important factor in throughput of manufacturing systems. To simplify the inputs to the simulation model for complex machining and assembly lines, we ha...
172
click to vote
COMCOM
1998
15 years 6 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
170
click to vote
INFOCOM
2006
IEEE
16 years 16 days ago
2006
IEEE
— Distributed time synchronization is an important part of a sensor network where sensing and actuation must be coordinated across multiple nodes. Several time synchronization pr...