5378 search results - page 1042 / 1076 » Base Logics in Argumentation |
170
click to vote
IEEESCC
2007
IEEE
16 years 17 days ago
2007
IEEE
A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more other...
165
click to vote
ISCA
2007
IEEE
16 years 17 days ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
178
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
166
click to vote
NCA
2007
IEEE
16 years 14 days ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ...
180
click to vote
ICCS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...