7167 search results - page 1266 / 1434 » A Technique for Invariant Generation |
197
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
205
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
203
click to vote
ICB
2009
Springer
16 years 1 months ago
2009
Springer
Minutiae-based representation is the most widely adopted fingerprint representation scheme. The compactness of minutiae template has created an impression that the minutiae templa...
200
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Modeling, characterization and analysis of biological shapes and forms are important in many computational biology studies. Shape representation challenges span the spectrum from s...
224
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...