1291 search results - page 175 / 259 » Arithmetic program paths |
103
Voted
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
113
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper addresses the problem of inter-domain QoS routing. We propose a solution based on virtual-trunk type aggregates corresponding to Service Level Agreements (SLA) for d...
128
click to vote
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
136
click to vote
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding ...
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...