9124 search results - page 321 / 1825 » Requirements-Based Design Evaluation |
146
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Prescribing in intensive care is a complex process involving a number of disciplines working in a highly stressful clinical environment. Within the National Health Service this pr...
241
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper, we present READY, a multi-threaded implementation of the CORBA Notification Service. The main contribution of our work is the design and development of scalable sol...
138
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Loudspeaker arrays usually are used in professional sound reinforcement systems to provide uniform sound coverage of the listening area. They can also be used for focusing the sou...
158
click to vote
ICANNGA
2007
Springer
16 years 26 days ago
2007
Springer
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
189
click to vote
MTV
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...