Sciweavers

1112 search results - page 32 / 223
» software 2002
Sort
View
IBMSJ
2002
36views more  IBMSJ 2002»
13 years 9 months ago
FLAVERS: A finite state verification technique for software systems
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
JCSC
2002
70views more  JCSC 2002»
13 years 9 months ago
The Impact of Source Code Transformations on Software Power and Energy Consumption
Carlo Brandolese, William Fornaciari, Fabio Salice...
JCST
2002
69views more  JCST 2002»
13 years 9 months ago
Requirements Specifications Checking of Embedded Real-Time Software
Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen