3307 search results - page 207 / 662 » The meaning of concurrent programs |
130
click to vote
COMPUTER
2008
15 years 4 months ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
133
click to vote
PROMAS
2007
Springer
15 years 10 months ago
2007
Springer
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
159
click to vote
ENTCS
2006
15 years 4 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
132
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
120
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...