Sciweavers

3451 search results - page 419 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
CASES
2006
ACM
15 years 10 months ago
High-performance packet classification algorithm for many-core and multithreaded network processor
Packet classification is crucial for the Internet to provide more value-added services and guaranteed quality of service. Besides hardware-based solutions, many software-based cla...
Duo Liu, Bei Hua, Xianghui Hu, Xinan Tang
FLAIRS
2004
15 years 8 months ago
PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...
Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui
CORR
2004
Springer
180views Education» more  CORR 2004»
15 years 6 months ago
Alchemi: A .NET-based Grid Computing Framework and its Integration into Global Grids
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
Akshay Luther, Rajkumar Buyya, Rajiv Ranjan, Sriku...
DAC
1998
ACM
15 years 11 months ago
Synthesis of Power-Optimized and Area-Optimized Circuits from Hierarchical Behavioral Descriptions
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...
Ganesh Lakshminarayana, Niraj K. Jha
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 7 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng