Sciweavers

41472 search results - page 292 / 8295
» or 2006
Sort
View
FMSD
2007
67views more  FMSD 2007»
15 years 4 months ago
Finding optimal hardware/software partitions
Zoltán Ádám Mann, Andrá...
FMSD
2007
75views more  FMSD 2007»
15 years 4 months ago
Checking extended CTL properties using guarded quotient structures
A. Prasad Sistla, Xiaodong Wang, Min Zhou
MLQ
2006
63views more  MLQ 2006»
15 years 4 months ago
Counting as integration in feasible analysis
Fernando Ferreira, Gilda Ferreira
84
Voted
MLQ
2006
65views more  MLQ 2006»
15 years 4 months ago
The ultra-weak Ash conjecture and some particular cases
Annie Chateau, Malika More