Sciweavers

3856 search results - page 531 / 772
» Models for Automated Earthmoving
Sort
View
DATE
2006
IEEE
128views Hardware» more  DATE 2006»
16 years 20 days ago
Efficient link capacity and QoS design for network-on-chip
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
Zvika Guz, Isask'har Walter, Evgeny Bolotin, Israe...
GLOBECOM
2006
IEEE
16 years 20 days ago
Effectiveness of Rate Control in Slowing Down Worm Epidemics
— Rate control is an automated defense to slow down a worm outbreak to buy time for conventional defenses to take effect. In this study, we apply the community of households mode...
Nasir Jamil, Thomas M. Chen
INFOCOM
2006
IEEE
16 years 19 days ago
Network Protocol System Fingerprinting - A Formal Approach
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
Guoqiang Shu, David Lee
LICS
2006
IEEE
16 years 18 days ago
Two-Variable Logic on Words with Data
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentic...
LICS
2006
IEEE
16 years 18 days ago
Fixed-Parameter Hierarchies inside PSPACE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
Guoqiang Pan, Moshe Y. Vardi