Sciweavers

32117 search results - page 269 / 6424
» Design for Unanticipated Use..
Sort
View

Publication
200views
17 years 5 months ago
Dynamic Queue Control Functions for ATM ABR Switch Schemes: Design and Analysis
The main goals of a switch scheme are high utilization, low queuing delay and fairness. To achieve high utilization the switch scheme can maintain non-zero (small) queues in steady...
Bobby Vandalore, Raj Jain, Rohit Goyal, Sonia Fahm...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
ICCD
2008
IEEE
117views Hardware» more  ICCD 2008»
16 years 3 months ago
Two dimensional highly associative level-two cache design
High associativity is important for level-two cache designs [9]. Implementing CAM-based Highly Associative Caches (CAM-HAC), however, is both costly in hardware and exhibits poor s...
Chuanjun Zhang, Bing Xue
AMI
2009
Springer
16 years 1 months ago
Designing an Awareness Display for Senior Home Care Professionals
Home care professionals play a central role in supporting elderly people when they need help to continue living in their own homes. Using awareness systems, caregivers might better...
Martijn H. Vastenburg, Robbert J. Vroegindeweij
CEC
2007
IEEE
16 years 29 days ago
Combine and compare evolutionary robotics and reinforcement Learning as methods of designing autonomous robots
—The purpose of this paper is to present a comparison between two methods of building adaptive controllers for robots. In spite of the wide range of techniques which are used for...
Sergiu Goschin, Eduard Franti, Monica Dascalu, San...