5343 search results - page 160 / 1069 » Keyword programming in java |
157
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
229
Voted
Book
"Primarily, this book addresses the designer who chooses an application's user-interface elements, lays them out in a set of components, and designs the user interaction ...
91
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...
106
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
97
Voted
ICSM
2003
IEEE
15 years 7 months ago
2003
IEEE
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...