12981 search results - page 2063 / 2597 » Model Checking (Abstract) |
200
click to vote
EUROPAR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
230
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
212
Voted
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
188
Voted
ICCD
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract— In this paper we consider the problem of clustering sequential circuits subject to a bound on the area of each cluster, with the objective of minimizing the clock perio...
176
click to vote
HT
1997
ACM
15 years 11 months ago
1997
ACM
The hypermedia field has long realized the need for firstructural abstractions. However, we have failed to generalize the concept of ubiquitous structure management to problem dom...