Sciweavers

1527 search results - page 119 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
CORR
2007
Springer
95views Education» more  CORR 2007»
15 years 6 months ago
Parametric Yield Analysis of Mems via Statistical Methods
This paper considers a developing theory on the effects of inevitable process variations during the fabrication of MEMS and other microsystems. The effects on the performance and ...
Shyam Praveen Vudathu, Kishore K. Duganapalli, Rai...
POPL
2003
ACM
16 years 6 months ago
Bitwidth aware global register allocation
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
Sriraman Tallam, Rajiv Gupta
TEC
2008
99views more  TEC 2008»
15 years 6 months ago
A Drug Candidate Design Environment Using Evolutionary Computation
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...
M. Ihsan Ecemis, J. Wikel, C. Bingham, Eric Bonabe...
JUCS
2007
109views more  JUCS 2007»
15 years 6 months ago
On Ranking RDF Schema Elements (and its Application in Visualization)
Abstract: Ranking is a ubiquitous requirement whenever we confront a large collection of atomic or interrelated artifacts. This paper elaborates on this issue for the case of RDF s...
Yannis Tzitzikas, Dimitris Kotzinos, Yannis Theoha...
FTCS
1998
79views more  FTCS 1998»
15 years 7 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing