3307 search results - page 517 / 662 » The meaning of concurrent programs |
172
click to vote
EMMCVPR
2003
Springer
16 years 5 days ago
2003
Springer
Common techniques for curve alignment find a solution in the form of a shortest network path by means of dynamic programming. In this paper we present an approach that employs Set...
220
click to vote
FM
2003
Springer
16 years 5 days ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
156
click to vote
INFOCOM
2002
IEEE
2002
IEEE
Routing and Wavelength Assignment in WDM Rings with Heterogeneous Wavelength Conversion Capabilities
15 years 12 months ago
—In this paper, we study the routing and wavelength assignment (RWA) tasks in WDM rings with heterogeneous wavelength conversion capabilities. By heterogeneous, we mean that diff...
175
Voted
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
168
Voted
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...