345 search results - page 10 / 69 » A Programming Logic for Sequential Java |
105
click to vote
CSREAESA
2006
15 years 14 days ago
2006
The performance of software executed on a microprocessor is adversely affected by the basic fetchexecute cycle. A further performance penalty results from the load-execute-store p...
ICFP
2005
ACM
15 years 4 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
DAC
1998
ACM
16 years 1 days ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
DFG
2004
Springer
15 years 2 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
ICPP
2007
IEEE
15 years 5 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...