4164 search results - page 321 / 833 » Timing model reduction for hierarchical timing analysis |
202
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
177
Voted
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Ultra-wideband (UWB) technology is expected to provide high data rate services for future wireless personal area networks (WPANs). The WiMedia Alliance recently has launched it...
205
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
218
click to vote
IEICET
2008
15 years 6 months ago
2008
Abstract--Vehicular ad hoc networks (VANET) aims to enhance vehicle navigation safety by providing an early warning system: any chance of accidents is informed through the wireless...
347
click to vote
ICIC
2010
Springer
15 years 4 months ago
2010
Springer
Digital music editing is a standard process in music production for correcting mistakes and enhancing quality, but this is tedious and timeconsuming. The Intelligent Music Editor, ...