5343 search results - page 283 / 1069 » Keyword programming in java |
271
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Scribble is a system for writing library documentation, user guides, and tutorials. It builds on PLT Scheme's technology for language extension, and at its heart is a new app...
321
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
186
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
160
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
157
click to vote
CGO
2005
IEEE
16 years 3 days ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...