1027 search results - page 104 / 206 » Representing and Reasoning with Operational Semantics |
129
click to vote
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
101
Voted
HIS
2003
15 years 2 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
124
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
103
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
108
Voted
DASFAA
2004
IEEE
15 years 4 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...