2500 search results - page 282 / 500 » Specifying Behavior in C |
134
click to vote
MICRO
1998
IEEE
15 years 8 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...
132
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
The SB-PRAM is a massively parallel, uniform memory access (UMA) shared memory computer. The main ideas of the design are multithreading on instruction level, hashing of the addre...
103
Voted
SIGADA
1998
Springer
15 years 8 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...
122
click to vote
UIST
1997
ACM
15 years 8 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...
123
Voted
MICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...