9626 search results - page 1673 / 1926 » Invariant Based Programming |
174
click to vote
MICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper proposes a precise approach to register allocation for irregular-register architectures which is based on 0-1 integer programming (IP). Prior work shows that IP registe...
175
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
183
click to vote
WOWMOM
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a framework for provisioning application and channel dependent quality of service in wireless networks. The framework is based on three di erent adaptation mec...
192
click to vote
ESA
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we study a class of optimal path problems with the following phenomenon: The space complexity of the algorithms for reporting the lengths of single-source optimal pa...
173
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
We have investigated a fault injection-based technique for undermining the ability of software components to produce undesirable outputs into the state of the system. Undesirable ...