Sciweavers

1640 search results - page 34 / 328
» Conditional Independence Trees
Sort
View
ICCAD
1994
IEEE
99views Hardware» more  ICCAD 1994»
14 years 2 months ago
Condition graphs for high-quality behavioral synthesis
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gaj...
ETFA
2006
IEEE
14 years 1 months ago
Non-Schedulability Conditions for Off-line Scheduling of Real-Time Systems Subject to Precedence and Strict Periodicity Constrai
Classical off-line approaches based on preemption such as RM (Rate Monotonic), DM (Deadline Monotonic), EDF (Earliest Deadline First), LLF (Least Laxity First), etc, give schedula...
Patrick Meumeu Yomsi, Yves Sorel
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 11 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
ICIP
2007
IEEE
14 years 11 months ago
Fast Detection of Independent Motion in Crowds Guided by Supervised Learning
Different from appearance-based methods, clustering feature points only by their motion coherence is an emerging category of approach to detecting and tracking individuals among c...
Yuan Li, Haizhou Ai
INFOCOM
2008
IEEE
14 years 4 months ago
A Device-Independent Router Model
Abstract—Several popular simulation and emulation environments fail to account for realistic packet forwarding behaviors of commercial switches and routers. Such simulation or em...
Roman Chertov, Sonia Fahmy, Ness B. Shroff