Sciweavers

1008 search results - page 168 / 202
» A cis-regulatory logic simulator
Sort
View
PATMOS
2005
Springer
14 years 4 months ago
Power - Performance Optimization for Custom Digital Circuits
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
Radu Zlatanovici, Borivoje Nikolic
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 4 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
DFG
2004
Springer
14 years 4 months ago
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
Wilhelm Schäfer, Robert Wagner, Jürgen G...
EUC
2004
Springer
14 years 4 months ago
Implementing Cooperative Caching in Distributed Streaming Media Server Clusters
Abstract. In distributed streaming media server clusters, by adopting cooperative caching (CC) technique, the free memory of all the servers can be combined to form a bigger, logic...
Tiecheng Gu, Baoliu Ye, Minyi Guo, Daoxu Chen
ICDCIT
2004
Springer
14 years 4 months ago
Distributing Key Updates in Secure Dynamic Groups
We focus on the problem of distributing key updates in secure dynamic groups. Due to changes in group membership, the group controller needs to change and distribute the keys used...
Sandeep S. Kulkarni, Bezawada Bruhadeshwar