2226 search results - page 291 / 446 » Pdk: The System and Its Language |
171
click to vote
IPPS
2003
IEEE
15 years 12 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...
150
click to vote
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...
139
Voted
COSPS
2001
Springer
15 years 11 months ago
2001
Springer
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
186
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
144
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...