3307 search results - page 338 / 662 » The meaning of concurrent programs |
153
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
177
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
192
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
159
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
161
click to vote
SEFM
2006
IEEE
16 years 24 days ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...