4586 search results - page 130 / 918 » Computing stable models in parallel |
125
click to vote
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We discuss the technical skills that a software engineer should possess. We take the viewpoint of a school of engineering and put the software engineer's education in the wid...
133
Voted
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
122
Voted
ENTCS
2008
15 years 3 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
110
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...
123
Voted
HPDC
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a new parallel, noncollective I/O strategy called Distant I/O that targets clustered computer systems in which disks are attached to compute nodes. Distant I/O allows o...