1210 search results - page 167 / 242 » Formal Techniques for Java Programs |
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
ECP
1997
Springer
13 years 12 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
PLDI
2010
ACM
14 years 24 days 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...
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...