2251 search results - page 63 / 451 » Specification and Implementation Problems for C |
108
click to vote
ASWEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...
119
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The central question of this paper is: How can design of Program Management contribute to the success of complex software implementations? Incomplete goal specifications, lack of ...
141
click to vote
JUCS
2008
15 years 3 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
100
Voted
ICCAD
2001
IEEE
16 years 6 days ago
2001
IEEE
In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arri...
92
Voted
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
The paper introduces the problem of designing dynamic workload management (WM) tools that are aware of the diversity of classes of users and their diverse access patterns. Our app...