4880 search results - page 539 / 976 » Manuals as Structured Programs |
190
click to vote
APLAS
2005
ACM
16 years 15 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
157
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
188
click to vote
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
161
click to vote
CPHYSICS
2008
15 years 7 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
219
click to vote
IJHPCA
2007
15 years 6 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...