4798 search results - page 306 / 960 » A Time for Change |
161
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
192
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
The logical configuration of a WDM network can be changed by reassigning wavelengths to tunable transceivers of nodes. In this paper, we develop reconfiguration algorithms to obtai...
168
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Over the past decade software architecture has received increasing attention as an important subfield of software engineering. During that time there has been considerable progres...
153
click to vote
ICALP
1995
Springer
15 years 10 months ago
1995
Springer
We consider the problem of preprocessing an n-vertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efï...
193
click to vote
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the main characteristics of the peer-to-peer systems is the highly dynamic nature of the users present in the system. In such a rapidly changing enviroment, end-user guaran...