893 search results - page 174 / 179 » Modeling reactive systems in Java |
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
102
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
110
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
108
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...