Sciweavers

936 search results - page 150 / 188
» The Synthesis Problem of Netcharts
Sort
View
AFPAC
1997
Springer
151views Mathematics» more  AFPAC 1997»
14 years 1 months ago
Trilinear Tensor: The Fundamental Construct of Multiple-view Geometry and Its Applications
The topic of representation, recovery and manipulation of three-dimensional 3D scenes from two-dimensional 2D images thereof, provides a fertile ground for both intellectual th...
Amnon Shashua
DAC
2010
ACM
14 years 1 months ago
Networks on Chips: from research to products
Research on Networks on Chips (NoCs) has spanned over a decade and its results are now visible in some products. Thus the seminal idea of using networking technology to address th...
Giovanni De Micheli, Ciprian Seiculescu, Srinivasa...
GECCO
2007
Springer
192views Optimization» more  GECCO 2007»
14 years 1 months ago
A new crossover technique for Cartesian genetic programming
Genetic Programming was first introduced by Koza using tree representation together with a crossover technique in which random sub-branches of the parents' trees are swapped ...
Janet Clegg, James Alfred Walker, Julian Francis M...
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
14 years 1 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
ICDCS
1995
IEEE
14 years 1 months ago
Analysis of Resource Lower Bounds in Real-Time Applications
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
Raed Alqadi, Parameswaran Ramanathan