Sciweavers

1420 search results - page 231 / 284
» A Framework for Scheduler Synthesis
Sort
View
JFR
2010
119views more  JFR 2010»
15 years 27 days ago
Unsupervised classification of dynamic obstacles in urban environments
This paper presents a solution to the problem of unsupervised classification of dynamic obstacles in urban environments. A track-based model is introduced for the integration of 2...
Roman Katz, Juan Nieto, Eduardo Mario Nebot
VLSID
2006
IEEE
192views VLSI» more  VLSID 2006»
16 years 3 days ago
Beyond RTL: Advanced Digital System Design
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
Shiv Tasker, Rishiyur S. Nikhil
INFOCOM
2005
IEEE
15 years 11 months ago
TCP vs. TCP: a systematic study of adverse impact of short-lived TCP flows on long-lived TCP flows
— While earlier studies have pointed out that short-lived TCP flows (mice) may hurt long-lived TCP flows (elephants) in the long term, they provide insufficient insight for devel...
S. Ebrahimi-Taghizadeh, Ahmed Helmy, Sandeep K. S....
DATE
2004
IEEE
175views Hardware» more  DATE 2004»
15 years 9 months ago
Breaking Instance-Independent Symmetries in Exact Graph Coloring
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Kare...
FMCAD
2000
Springer
15 years 9 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...