7124 search results - page 961 / 1425 » Programming Languages and Operating Systems |
163
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
142
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...
157
click to vote
RIDE
2003
IEEE
15 years 11 months ago
2003
IEEE
Global e-Commerce and mass-outreach e-Governance programs have brought into sharp focus the need for database systems to store and manipulate text data efficiently in a suite of ...
147
Voted
MUC
1992
15 years 10 months ago
1992
The GE-CMU team is developing the TIPSTER/SHOGUN system under the governmentsponsored TIPSTER program, which aims to advance coverage, accuracy, and portability in tex t interpret...
158
Voted
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...