Sciweavers

2875 search results - page 306 / 575
» Using separation of concerns for embedded systems design
Sort
View
JPDC
2007
167views more  JPDC 2007»
15 years 5 months ago
On the design of high-performance algorithms for aligning multiple protein sequences on mesh-based multiprocessor architectures
In this paper, we address the problem of multiple sequence alignment (MSA) for handling very large number of proteins sequences on mesh-based multiprocessor architectures. As the ...
Diana H. P. Low, Bharadwaj Veeravalli, David A. Ba...
LREC
2008
165views Education» more  LREC 2008»
15 years 7 months ago
Design and Data Collection for Spoken Polish Dialogs Database
Spoken corpora provide a critical resource for research, development and evaluation of spoken dialog systems. This paper describes the telephone spoken dialog corpus for Polish cr...
Krzysztof Marasek, Ryszard Gubrynowicz
181
Voted
EUROPAR
2000
Springer
15 years 9 months ago
Design and Evaluation of a Compiler-Directed Collective I/O Technique
Abstract. Current approaches to parallel I/O demand extensive user effort to obtain acceptable performance. This is in part due to difficulties in understanding the characteristics...
Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhar...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 9 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
IEEESCC
2006
IEEE
16 years 2 days ago
Modeling Non-Functional Aspects in Service Oriented Architecture
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba