4460 search results - page 549 / 892 » Resources in process algebra |
184
click to vote
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...
168
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...
169
Voted
LCN
1999
IEEE
15 years 11 months ago
1999
IEEE
In Wireless ATM networks, user connections need to be rerouted during handoff as mobile users move among base stations. The rerouting of connections must be done quickly with mini...
197
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
146
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes an implementation of parallel LU factorization. The focus is to achieve high performance on non-dedicated clusters, where the number of available computing re...