1583 search results - page 113 / 317 » Parallel High-Order Integrators |
109
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Virtual Computer Corporation has combined the latest reconfigurable component technology with a number of advanced software tools in one easy to use `system approach' to digi...
137
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
115
click to vote
ARCS
1997
Springer
15 years 6 months ago
1997
Springer
To provide a computing system to be dependable fault tolerance mechanisms have to be included. Especially massive parallelism represents a new challenge for fault tolerance. In th...
135
click to vote
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
153
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper studies the automation of fault management of wireless and mobile networks. A network management protocol similar to SNMP with an integrated architecture using mobile ag...