Sciweavers

1056 search results - page 53 / 212
» Mapping an Application to a Control Architecture: Specificat...
Sort
View
VLSID
2004
IEEE
128views VLSI» more  VLSID 2004»
14 years 8 months ago
A Compact Low-Power Buffer Amplifier with Dynamic Bias Control Technique
This work presents a novel dynamic bias control technique to verify the circuit performance of the lowpower rail-to-rail input/output buffer amplifier, which can be operating in s...
Chih-Jen Yen, Wen-Yaw Chung, Mely Chen Chi
SIGOPS
2010
112views more  SIGOPS 2010»
13 years 6 months ago
QoS-oriented control of server systems
Multi-tier architectures are widely used by internet applications. Guaranteeing the performance, and more generally the quality of service (QoS), of such applications remains a cr...
Luc Malrait
DAC
1994
ACM
13 years 12 months ago
Automatic Verification of Pipelined Microprocessors
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
Vishal Bhagwati, Srinivas Devadas
CIDR
2009
157views Algorithms» more  CIDR 2009»
13 years 8 months ago
SCADS: Scale-Independent Storage for Social Computing Applications
Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data. As users and developers are focused more on...
Michael Armbrust, Armando Fox, David A. Patterson,...
SERP
2008
13 years 9 months ago
Object-Oriented Hypermedia Design and J2EE Technology for Web-based Applications
Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and ...
Habib Karimpour, Ayaz Isazadeh, Mohsen Heydarian