Sciweavers

9049 search results - page 61 / 1810
» The New C Standard
Sort
View
PRIB
2009
Springer
113views Bioinformatics» more  PRIB 2009»
15 years 4 months ago
c-GAMMA: Comparative Genome Analysis of Molecular Markers
Discovery of molecular markers for efficient identification of living organisms remains a challenge of high interest. The diversity of species can now be observed in details with ...
Pierre Peterlongo, Jacques Nicolas, Dominique Lave...
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 1 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
CONCURRENCY
2010
114views more  CONCURRENCY 2010»
14 years 9 months ago
A step towards refining and translating B control annotations to Handel-C
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
Wilson Ifill, Steve A. Schneider
EUSFLAT
2003
126views Fuzzy Logic» more  EUSFLAT 2003»
14 years 11 months ago
On the complexity of propositional logics with an involutive negation
Let C be the propositional calculus given by a standard SBL-algebra; C  is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C  i...
Zuzana Haniková
EDOC
2003
IEEE
15 years 3 months ago
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
Raul Silaghi, Alfred Strohmeier