5084 search results - page 765 / 1017 » Proving Possibility Properties |
152
click to vote
ICC
2007
IEEE
16 years 29 days 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...
166
click to vote
ICCAD
2007
IEEE
16 years 29 days 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...
158
click to vote
ICCCN
2007
IEEE
16 years 29 days 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...
181
click to vote
ICSM
2007
IEEE
16 years 29 days 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...
152
click to vote
ICTAI
2007
IEEE
16 years 28 days 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...