Sciweavers

1678 search results - page 218 / 336
» An ASM Specification of C
Sort
View
IJES
2006
134views more  IJES 2006»
15 years 6 months ago
Applying model-driven development to distributed real-time and embedded avionics systems
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
Krishnakumar Balasubramanian, Arvind S. Krishna, E...
IJIEM
2006
76views more  IJIEM 2006»
15 years 6 months ago
Lost in cyberspace: barriers to bridging the digital divide in e-politics
: In our analysis of e-political participation among a 2003-random sample survey of 478 respondents drawn from Iowa, Pennsylvania and Colorado, six blocks of variables were entered...
Mack C. Shelley, Lisa E. Thrane, Stuart W. Shulman
JBI
2008
15 years 6 months ago
Categorizing the world of registries
The term registry is widely used to refer to any database storing clinical information collected as a byproduct of patient care. Despite the use of this single characterizing term...
Brian C. Drolet, Kevin B. Johnson
JBI
2008
137views Bioinformatics» more  JBI 2008»
15 years 6 months ago
Mining sequential patterns for protein fold recognition
Protein data contain discriminative patterns that can be used in many beneficial applications if they are defined correctly. In this work sequential pattern mining (SPM) is utiliz...
Themis P. Exarchos, Costas Papaloukas, Christos La...
CORR
2007
Springer
154views Education» more  CORR 2007»
15 years 6 months ago
Application of a design space exploration tool to enhance interleaver generation
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
Cyrille Chavet, Philippe Coussy, Pascal Urard, Eri...