7124 search results - page 434 / 1425 » Programming Languages and Operating Systems |
216
Voted
ENTCS
2002
15 years 7 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
240
click to vote
CORR
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
226
click to vote
TCS
2002
15 years 7 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
267
click to vote
ARES
1998
Springer
15 years 11 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
202
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...