7124 search results - page 962 / 1425 » Programming Languages and Operating Systems |
144
click to vote
ICLP
2003
Springer
15 years 11 months 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...
150
Voted
SEFM
2005
IEEE
15 years 11 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...
135
Voted
ICALT
2003
IEEE
15 years 11 months 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...
157
click to vote
STEP
2003
IEEE
15 years 11 months 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...
142
Voted
SCAM
2002
IEEE
15 years 11 months 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...