Sciweavers

1412 search results - page 89 / 283
» types 2004
Sort
View
172
Voted
CLUSTER
2004
IEEE
15 years 4 months ago
MPI/FT: A Model-Based Approach to Low-Overhead Fault Tolerant Message-Passing Middleware
Fault tolerance in parallel systems has traditionally been achieved through a combination of redundancy and checkpointing methods. This notion has also been extended to message-pas...
Rajanikanth Batchu, Yoginder S. Dandass, Anthony S...
CONCURRENCY
2004
108views more  CONCURRENCY 2004»
15 years 4 months ago
Finding stale-value errors in concurrent programs
Concurrent programs can suffer from many types of errors, not just the wellstudied problems of deadlocks and simple race conditions on variables. This paper addresses a kind of ra...
Michael Burrows, K. Rustan M. Leino
120
Voted
CORR
2004
Springer
97views Education» more  CORR 2004»
15 years 4 months ago
Free quasi-symmetric functions, product actions and quantum field theory of partitions
Abstract. We investigate two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, ...
Gérard Henry Edmond Duchamp, Jean-Gabriel L...
ICSE
2004
IEEE-ACM
16 years 5 months ago
Static Checking of Dynamically Generated Queries in Database Applications
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
Carl Gould, Zhendong Su, Premkumar T. Devanbu
KR
2004
Springer
15 years 10 months ago
Discovering State Invariants
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
Fangzhen Lin