1027 search results - page 153 / 206 » Callgraph properties of executables |
132
Voted
WMCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we study the inconsistency problem in data broadcast. While data items in a mobile computing system are being broadcast, update transactions may install new values ...
133
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
125
Voted
IDEAS
1998
IEEE
15 years 8 months ago
1998
IEEE
Complex applications consist of a large set of transactions which are interrelated. There are different kinds of dependencies among transactions of a complex application, e.g. ter...
124
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [10] for periodic tasks with highly variable execution times and s...
116
click to vote
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
Sparse LU factorization with partial pivoting is important for many scienti c applications and delivering high performance for this problem is di cult on distributed memory machin...