443 search results - page 50 / 89 » An improved slicer for Java |
ENTCS
2007
13 years 9 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
CSCW
2004
ACM
13 years 9 months ago
2004
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build ...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
Android which Google released as an open-source mobile phone operating system is a Linux-based platform; it consists of the operating system, middleware, and user interface and ap...
CACM
2010
13 years 7 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
PLDI
2009
ACM
14 years 10 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...