Sciweavers

6047 search results - page 855 / 1210
» Modeling with Extend
Sort
View
178
Voted
PRDC
2000
IEEE
15 years 10 months ago
Enforcing synchronous system properties on top of timed systems
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
Christof Fetzer
ICCAD
1999
IEEE
153views Hardware» more  ICCAD 1999»
15 years 10 months ago
Cycle time and slack optimization for VLSI-chips
We consider the problem of finding an optimal clock schedule, i.e. optimal arrival times for clock signals at latches of a VLSI chip. We describe a general model which includes al...
Christoph Albrecht, Bernhard Korte, Jürgen Sc...
CP
1998
Springer
15 years 10 months ago
Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features
In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representati...
Thomas H. Kolbe
135
Voted
HT
1997
ACM
15 years 10 months ago
As We Should Have Thought
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...
Peter J. Nürnberg, John J. Leggett, Erich R. ...
175
Voted
ICDCS
1996
IEEE
15 years 10 months ago
Hidden Software Capabilities
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
Daniel Hagimont, Jacques Mossière, Xavier R...