Sciweavers

1617 search results - page 143 / 324
» Modeling and evaluation of hardware software designs
Sort
View
EUROMICRO
2009
IEEE
16 years 1 months ago
Component-Based Construction of Concurrent Systems with Active Components
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
Kung-Kiu Lau, Ioannis Ntalamagkas
PERVASIVE
2008
Springer
15 years 6 months ago
Microsearch: When Search Engines Meet Small Devices
Abstract. In this paper, we present Microsearch, a search system suitable for small devices used in ubiquitous computing environments. Akin to a desktop search engine, Microsearch ...
Chiu Chiang Tan, Bo Sheng, Haodong Wang, Qun Li
ANCS
2011
ACM
14 years 6 months ago
ReClick - A Modular Dataplane Design Framework for FPGA-Based Network Virtualization
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
Deepak Unnikrishnan, Justin Lu, Lixin Gao, Russell...
EMSOFT
2005
Springer
16 years 6 hour ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
ISLPED
1999
ACM
236views Hardware» more  ISLPED 1999»
15 years 10 months ago
Modeling and automating selection of guarding techniques for datapath elements
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
William E. Dougherty, Donald E. Thomas