2438 search results - page 152 / 488 » Consistent Gradient Operators |
142
click to vote
WIA
2004
Springer
15 years 11 months ago
2004
Springer
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...
170
click to vote
ICPPW
1999
IEEE
15 years 10 months ago
1999
IEEE
Group communication protocols are used in fault-tolerant systems to maintain strong replica consistency. The FaultTolerant Multicast Protocol (FTMP) described here is a group comm...
161
click to vote
WMCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes an approach for enabling remote database access from heterogeneous thin clients. DataX is a proxy-based architecture that supports disconnected operation by r...
152
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
138
click to vote
PODC
1989
ACM
15 years 10 months ago
1989
ACM
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...