3113 search results - page 404 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
126
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
143
click to vote
CSREAESA
2008
15 years 5 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
139
click to vote
IJCAI
1993
15 years 5 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
177
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Serial Analysis of Gene Expression (SAGE) is a high-throughput method for inferring mRNA expression levels from the experimentally generated sequence based tags. Stand...
151
click to vote
TSE
2008
15 years 3 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...