Sciweavers

9067 search results - page 389 / 1814
» Adaptive Model Checking
Sort
View
DATE
1997
IEEE
85views Hardware» more  DATE 1997»
15 years 11 months ago
Adaptive least mean square behavioral power modeling
Alessandro Bogliolo, Luca Benini, Giovanni De Mich...
ICFEM
2007
Springer
15 years 10 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ESCIENCE
2006
IEEE
15 years 10 months ago
ODIN: A Model for Adapting and Enriching Legacy Infrastructure
The Online Database of Interlinear Text (ODIN)1 is a database of interlinear text "snippets", harvested mostly from scholarly documents posted to the Web. Although large...
William D. Lewis