5084 search results - page 765 / 1017 » Proving Possibility Properties |
182
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We address the problem of scheduling multiple traffic streams associated with target profiles on a shared wireless link, arising in real-time applications with soft/flexible...
184
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Modeling the effect of coupling noise on circuit delay is a key issue in static timing analysis (STA) and involves the “victimaggressor alignment” problem. As delay-noise depe...
177
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Traditional Dijkstra and Bellman-Ford routing algorithms can only provide the best route to each destination based on a fixed link cost model. We propose a utility-base...
199
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
170
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...