3256 search results - page 437 / 652 » Applications of Formal Methods to System Design and Verifica... |
135
click to vote
FPL
2010
Springer
15 years 3 months ago
2010
Springer
The paper describes application of the clock-gating techniques, often used in ASIC designs, to the field of FPGAbased systems. The clock-gating techniques are used to reduce the to...
156
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
142
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
165
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Many DTM schemes rely heavily on the accurate knowledge of the chip's dynamic thermal state to make optimal performance/ temperature trade-off decisions. This information is ...
247
click to vote
GIS
2003
ACM
16 years 6 months ago
2003
ACM
For many applications with spatial data management such as Geographic Information Systems (GIS), block-oriented access over flash memory could introduce a significant number of no...