2106 search results - page 235 / 422 » Specifying C concepts |
132
Voted
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
133
Voted
ICRE
1998
IEEE
15 years 7 months ago
1998
IEEE
Pervasive societal dependency on large-scale, unbounded network systems, the substantial risks of such dependency, and the growing sophistication of system intruders, have focused...
126
Voted
MICRO
1998
IEEE
15 years 7 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...
97
Voted
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
117
Voted
UIST
1997
ACM
15 years 7 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...