7124 search results - page 962 / 1425 » Programming Languages and Operating Systems |
183
click to vote
ICLP
2003
Springer
16 years 26 days ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
189
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
158
click to vote
ICALT
2003
IEEE
16 years 28 days ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
192
click to vote
STEP
2003
IEEE
16 years 27 days ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
180
click to vote
SCAM
2002
IEEE
16 years 17 days ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...