Sciweavers

1494 search results - page 200 / 299
» Kernels for Global Constraints
Sort
View
ECRTS
2000
IEEE
15 years 5 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
101
Voted
CVPR
1999
IEEE
15 years 4 months ago
A Volumetric Stereo Matching Method: Application to Image-Based Modeling
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...
Qian Chen, Gérard G. Medioni
VLSID
1999
IEEE
111views VLSI» more  VLSID 1999»
15 years 4 months ago
A New Approach for CMOS Op-Amp Synthesis
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the rst order behavior of a MOS transistor in the saturation regi...
Pradip Mandal, V. Visvanathan
COMPSAC
1998
IEEE
15 years 4 months ago
A Scheduling Service for a Dynamic Real-Time CORBA System
Distributed real-time applications have presented the need to extend the Object Management Group's OMG Common Object Request Broker Architecture CORBA standard to support rea...
Lisa Cingiser DiPippo, Victor Fay Wolfe, Roman Gin...
ISSS
1997
IEEE
103views Hardware» more  ISSS 1997»
15 years 4 months ago
Fast and Extensive System-Level Memory Exploration for ATM Applications
In this paper, our memory architecture exploration methodology and CAD techniques for network protocol applications are presented. Prototype tools have been implemented, and appli...
Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt...