Sciweavers

3914 search results - page 110 / 783
» Automating SLA modeling
Sort
View
128
Voted
ISQED
2005
IEEE
169views Hardware» more  ISQED 2005»
15 years 8 months ago
ASLIC: A Low Power CMOS Analog Circuit Design Automation
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
Jihyun Lee, Yong-Bin Kim
156
Voted
PRDC
2005
IEEE
15 years 8 months ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
118
Voted
CONTEXT
2005
Springer
15 years 8 months ago
Goal-Directed Automated Negotiation for Supporting Mobile User Coordination
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
144
Voted
BILDMED
2006
170views Algorithms» more  BILDMED 2006»
15 years 4 months ago
Fully-Automated Analysis of Muscle Fiber Images with Combined Region and Edge-Based Active Contours
This paper presents a new approach to automated muscle fiber analysis based on segmenting myofibers with combined region and edge based active contours. It provides reliable and fu...
Thomas Brox, Yoo-Jin Kim, Joachim Weickert, Wolfga...
89
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
Automated Proofs for Asymmetric Encryption
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
Judicaël Courant, Marion Daubignard, Cristian...