4693 search results - page 835 / 939 » Verifying Hybrid Systems |
IJNM
2000
15 years 15 days ago
2000
The complexity of communication networks and the amount of information transferred in these networks have made the management of such networks increasingly difficult. Since faults ...
129
Voted
JSA
2002
15 years 11 days ago
2002
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
NRHM
1998
15 years 10 days ago
1998
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
109
Voted
RC
2002
15 years 10 days ago
2002
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
133
click to vote
SIAMCOMP
2002
15 years 10 days ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...