Sciweavers

3689 search results - page 309 / 738
» A Language with Distributed Scope
Sort
View
LADS
2007
Springer
15 years 10 months ago
Probabilistic and Logical Beliefs
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...
John W. Lloyd, Kee Siong Ng
ARTS
1999
Springer
15 years 9 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
HCW
1998
IEEE
15 years 9 months ago
Steps Toward Understanding Performance in Java
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
Doug Lea
IPPS
1998
IEEE
15 years 9 months ago
Rapid Development of Real-Time Systems Using RTExpress
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
Milissa M. Benincasa, Richard Besler, Diane Brassa...
IPPS
1997
IEEE
15 years 9 months ago
Alias Analysis for Fortran90 Array Slices
Most alias analyses produce approximate results in the presence of array slices. This may lead to ine cient code which is of concern, especially, in languages like Fortran90. In t...
K. Gopinath, R. Seshadri