8232 search results - page 1334 / 1647 » Dynamic Logic Programming |
157
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
A suite of scalable atomistic simulation programs has been developed for materials research based on space-time multiresolution algorithms. Design and analysis of parallel algorit...
180
click to vote
POPL
2010
ACM
15 years 5 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
141
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
225
click to vote
TRETS
2010
15 years 5 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
170
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...