5343 search results - page 712 / 1069 » Keyword programming in java |
264
click to vote
SIGADA
2007
Springer
16 years 27 days ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
212
click to vote
ACL2
2006
ACM
16 years 23 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
187
click to vote
ASSETS
2006
ACM
16 years 23 days ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
175
click to vote
ML
2006
ACM
16 years 22 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
191
click to vote
PLDI
2006
ACM
16 years 22 days ago
2006
ACM
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...