Sciweavers

529 search results - page 10 / 106
» C Essentials
Sort
View
SIAMCO
2002
105views more  SIAMCO 2002»
13 years 7 months ago
Systems of Controlled Functional Differential Equations and Adaptive Tracking
Abstract. An adaptive servomechanism is developed in the context of the problem of approximate or practical tracking (with prescribed asymptotic accuracy), by the system output, of...
Achim Ilchmann, Eugene P. Ryan, Christopher J. San...
ICCAD
2009
IEEE
113views Hardware» more  ICCAD 2009»
13 years 5 months ago
A performance analytical model for Network-on-Chip with constant service time routers
Performance models for Network-on-Chip (NoC) are essential for design, optimization and Quality of Service (QoS) assurance. Classical queueing theory has been often used to provid...
Nikita Nikitin, Jordi Cortadella
SBCCI
2003
ACM
113views VLSI» more  SBCCI 2003»
14 years 25 days ago
Tangram - Virtual Integration of Heterogeneous IP Components in a Distributed Co-Simulation Environment
IP reuse is essential in embedded SoC design. IP components may be described in different modeling languages and present heterogeneous interfaces. The Tangram environment supports...
Uilian Rafael Feijo Souza, Josue Klafke Sperb, Bra...
COMBINATORICA
2007
119views more  COMBINATORICA 2007»
13 years 7 months ago
Complete partitions of graphs
A complete partition of a graph G is a partition of its vertex set in which any two distinct classes are connected by an edge. Let cp(G) denote the maximum number of classes in a ...
Magnús M. Halldórsson, Guy Kortsarz,...
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
14 years 8 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal