2226 search results - page 319 / 446 » Pdk: The System and Its Language |
164
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
172
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
180
click to vote
TLDI
2005
ACM
16 years 4 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
189
click to vote
AIME
2005
Springer
16 years 4 days ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
168
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...