Index file section E for tecs.bib
Last update: Wed May 15 02:02:08 MDT 2024
Return to index directory
E
-
E, Rvãzvan, Musvaloiu-, 10(1)11--11
-
e.g, 5(4)753--772, 6(4)30--30, 7(2)10--10, 7(4)42--42, 7(4)43--43,
8(2)11--11, 8(2)12--12, 10(2)21--21, 10(2)26--26, 11(4)73--73,
11(4)80--80, 11(z)49--49, 12(3)72--72, 13_1s_32_32, 13_1s_34_34,
13(2)16--16, 13_2s_65_65, 13_2s_72_72
-
EABI, 6(1)6--6
-
earliest, 6(4)28--28, 12(3)67--67
-
earliest-deadline, 7(2)15--15
-
Earliest-Deadline-First, 10(1)3--3
-
early, 6(3)15--15, 7(2)22--22, 7(4)42--42, 11(1)8--8, 11(2)29--29,
11(2)38--38, 11(4)81--81, 11(z)49--49, 12_1s_48_48, 12(4)100--100,
13_1s_39_39, 13_2s_63_63
-
ease, 6(2)13--13, 9(4)32--32, 12(2)30--30, 12(3)70--70, 13(1)2--2
-
easier, 11(2)34--34, 11(3)67--67, 11(4)81--81, 11(z)47--47, 12(1)2--2,
12(1)5--5
-
easily, 6(1)8--8, 6(2)12--12, 6(4)24--24, 9(4)41--41, 10(4)41--41,
11(1)3--3, 11(1)10--10, 11(3)65--65, 11S_1(23)23, 12(3)71--71,
12(3)80--80, 13_1s_27_27
-
Easwaran, Arvind, 13_2s_69_69
-
Easwaran, Arvind, see Lee, Jinkyu
-
easy, 6(3)17--17, 7(2)14--14, 7(3)32--32, 7(4)39--39, 8(2)15--15,
10(3)34--34, 11(2)27--27, 11(4)77--77, 12(1)2--2, 12(3)73--73
-
EAVE, 11(2)37--37
-
EC, 12(2)29--29
-
ECC, 8(1)8--8, 13(1)10--10
-
ECDSA, 12(3)73--73
-
ECG, 12(4)102--102, 12(4)103--103
-
ECG/EEG, 12(4)103--103
-
economic, 6(3)15--15, 6(3)16--16, 6(3)19--19, 11(2)29--29, 12_1s_50_50
-
economic, resource-, 13_1s_33_33
-
EDA, 5(2)408--430
-
Edahiro, Masato, 8(1)1--1, 9(3)19--19
-
Edahiro, Masato, see Inoue, Hiroaki
-
EDCF, 6(4)28--28
-
EDD, 11S_1(24)24
-
EDF, 6(4)28--28, 7(1)3--3, 7(2)9--9, 7(3)30--30, 10(1)3--3, 10(3)31--31,
11(2)32--32, 12(3)67--67
-
EDF, RI-, 6(4)28--28
-
EDF-scheduled, 12(3)67--67
-
edge, 13(3)43--43
-
edge, cliff-, 12_2s_87_87
-
editorial, 3(1)1--2, 3(2)233--236, 3(3)459--460, 4(2)225--227,
4(3)469--471, 5(2)259--262, 6(1)1--1, 6(2)9--9, 7(4)37--37,
8(4)25--25, 9(1)1--1, 9(2)10--10, 10(2)15--15, 11(z)39--39,
11(z)45--45, 11(z)52--52
-
Editors, 13_1s_26_26, 13_2s_56_56
-
Editors:2013:ISS, 13_1s_26_26
-
Editors:2014:MMA, 13_2s_56_56
-
education, 4(3)472--499, 4(3)500--528, 4(3)549--568
-
Eeckhout, Lieven, 11(1)2--2
-
Eeckhout, Lieven, see Hamers, Juan
-
EEG, 12(4)103--103
-
EEMBC, 8(2)10--10
-
EEMBC®, 8(2)10--10
-
effect, 7(2)11--11, 7(2)17--17, 8(2)14--14, 10(1)3--3, 10(2)22--22,
10(2)26--26, 11(1)1--1, 11(3)66--66, 11(z)51--51, 11(z)57--57,
11S_1(15)15, 11S_1(19)19, 11S_1(24)24, 12_1s_37_37,
12_1s_40_40, 12_1s_51_51, 13(1)14--14, 13_1s_29_29, 13_1s_35_35,
13_1s_39_39, 13(2)16--16, 13_2s_68_68, 13(3)48--48, 13(3)50--50
-
effect, weather-, 11(2)35--35
-
effective, 5(4)819--863, 5(4)864--883, 6(2)14--14, 6(4)24--24,
6(4)29--29, 6(4)31--31, 7(1)4--4, 7(4)40--40, 7(4)41--41, 8(1)6--6,
8(2)9--9, 8(2)12--12, 8(2)13--13, 8(2)16--16, 10(1)11--11,
10(4)46--46, 11(1)3--3, 11(3)63--63, 11(4)75--75, 11(z)46--46,
11S_1(16)16, 11S_1(23)23, 12(2)29--29, 12(2)30--30, 12(2)31--31,
12_2s_91_91, 12_2s_97_97, 12(4)106--106, 13(1)6--6, 13_1s_38_38,
13(2)23--23, 13(3)46--46, 13(3)49--49
-
effective, cost-, 6(2)11--11, 7(2)12--12, 8(3)19--19,
9(3)24--24, 11S_1(14)14, 12_2s_97_97, 12(4)106--106, 13(1)14--14
-
effectively, 5(3)613--657, 6(2)10--10, 8(1)2--2, 8(1)4--4, 10(1)5--5,
10(1)11--11, 10(2)19--19, 10(3)37--37, 11(3)65--65, 12_2s_90_90,
12(3)76--76, 13_1s_37_37, 13_1s_38_38, 13(2)25--25, 13_2s_68_68,
13_2s_73_73
-
effectiveness, 5(3)513--542, 5(4)819--863, 6(3)16--16, 6(3)20--20,
7(2)22--22, 8(1)6--6, 8(3)18--18, 8(4)28--28, 10(1)8--8, 10(2)23--23,
10(4)46--46, 11(z)54--54, 11S_1(23)23, 12(1)9--9, 12(1)13--13,
12(1)15--15, 12(2)31--31, 12_2s_89_89, 13(1)3--3, 13(2)17--17,
13_2s_61_61, 13(3)46--46
-
effects, side-, 11(z)49--49, 13_2s_66_66
-
effectual, 13(1)6--6
-
efficacious, 11(z)50--50
-
efficacy, 8(2)10--10, 11(3)62--62, 12_1s_44_44, 13_1s_36_36
-
efficiency, energy-, 11(2)27--27, 11S_1(24)24
-
efficient, Area-, 12(2)28--28
-
efficient, cost-, 13_1s_29_29
-
Efficient, Energy-, 11(2)26--26, 11(2)27--27, 11(z)48--48
-
efficient, Energy-, 5(2)321--341, 5(3)513--542, 7(2)17--17,
8(2)9--9, 9(3)28--28, 12_2s_91_91, 12(3)81--81, 13_2s_71_71
-
efficient, energy-, 5(3)513--542, 6(4)27--27, 7(2)17--17,
7(3)33--33, 8(1)5--5, 9(3)15--15, 9(3)16--16, 10(3)35--35, 11(1)2--2,
11(2)27--27, 11S_1(14)14, 12_2s_91_91
-
efficient, Power-, 6(1)3--3
-
efficient, power-, 6(1)3--3, 7(3)34--34, 13_2s_71_71
-
efficient, space-, 6(1)2--2, 9(4)43--43
-
efficient, static-power-, 2(3)347--372
-
efficient, time-, 13_2s_65_65
-
efficiently, 6(1)2--2, 6(3)19--19, 6(4)29--29, 6(4)32--32, 7(4)39--39,
8(2)9--9, 10(2)28--28, 10(4)39--39, 11(2)28--28, 11S_1(13)13,
11S_1(23)23, 12(2)20--20, 12(2)24--24, 12_2s_94_94, 12(4)111--111,
13_1s_40_40, 13(2)18--18, 13(2)25--25, 13_2s_68_68, 13(3)41--41
-
effort, 6(3)15--15, 7(2)22--22, 8(1)5--5, 8(4)30--30, 8(4)32--32,
10(3)33--33, 10(3)34--34, 11(2)38--38, 11(z)43--43, 11(z)48--48,
11S_1(14)14, 12_2s_87_87, 12_2s_90_90, 12_2s_94_94,
12(4)108--108, 13(1)8--8, 13_1s_37_37, 13(2)23--23, 13(2)25--25
-
effort'', ``best-, 10(1)8--8
-
effort, best-, 10(1)8--8, 12(4)108--108, 13_2s_61_61
-
Egger, Bernhard, 7(2)11--11
-
Egger:2008:DSM, 7(2)11--11
-
eight, 10(1)9--9, 12_2s_88_88
-
either, 5(3)613--657, 6(3)15--15, 7(2)11--11, 7(3)32--32, 7(4)46--46,
8(1)3--3, 8(3)21--21, 10(1)6--6, 10(2)28--28, 11(2)31--31,
11(3)60--60, 11(3)69--69, 12_2s_90_90, 12_2s_96_96, 13(1)3--3,
13(1)7--7, 13_1s_34_34, 13_2s_70_70
-
EK, 10(1)13--13
-
El-Boghdadi, Hatem M., 11(3)63--63
-
El-Boghdadi, Hatem M., see Shokry, Hesham
-
elaborate, 13(1)1--1, 13_2s_66_66
-
elaboration, 10(1)5--5
-
elacs, 12_1s_42_42
-
elder-care, 12(2)29--29
-
electric, 13_2s_57_57
-
electrical, 11(4)76--76, 13_2s_56_56
-
electrically, 12_2s_91_91
-
electricity, 13_1s_36_36
-
electrocardiogram, 12(4)102--102
-
electrode, 12(4)103--103
-
electromagnetic, 5(3)577--612, 7(4)44--44
-
electronic, 6(3)18--18, 6(3)19--19, 8(3)23--23, 11(4)78--78, 12(2)30--30,
12(4)103--103
-
elegant, 8(2)16--16
-
element, 5(3)543--576, 6(1)8--8, 8(3)17--17, 11(z)40--40, 12_1s_45_45,
12_1s_47_47, 12_2s_87_87, 12_2s_93_93, 12(3)75--75,
12(4)105--105, 13(1)13--13, 13(2)23--23, 13(3)47--47
-
Eles, Petru, 3(1)182--217, 3(4)706--735, 4(1)112--140, 5(1)54--81,
7(2)19--19, 11(3)61--61, 11S_1(11)11
-
Eles, Petru, see Berekovic, Mladen,
see Izosimov, Viacheslav,
see Manolache, Sorin, \see{Pop, Paul,
see Schmitz, Marcus T.,
see Varea, Mauricio
-
Elewi, Abdullah, 13_2s_71_71
-
Elewi:2014:EET, 13_2s_71_71
-
eliminate, 7(1)4--4, 10(1)6--6, 10(3)30--30, 11(3)65--65, 12_1s_45_45,
12(3)72--72
-
eliminated, 6(1)5--5, 7(2)22--22
-
eliminating, 4(4)751--778, 12(3)84--84
-
elimination, 5(3)613--657, 11(z)53--53
-
elliptic, 3(3)509--533, 8(1)8--8
-
else, 10(3)34--34
-
Eltawil, Ahmed M., 11S_1(15)15
-
Eltawil, Ahmed M., see Khajeh, Amin
-
EM, 5(3)577--612, 7(4)44--44
-
emanating, 7(4)44--44
-
embed, 11(1)1--1, 12(2)21--21
-
embedded, DSP-, 3(1)92--113
-
Embedded, Software-, 10(3)38--38
-
embedded-distributed, 5(3)543--576
-
embedded-system, 6(4)26--26, 7(3)25--25, 10(2)15--15
-
embedded/multimedia, 2(3)373--392
-
embedding, 6(1)3--3, 11(1)8--8, 12(2)21--21
-
Ember, 8(2)17--17
-
emerge, 11(4)75--75
-
emerged, 7(3)31--31, 12(1)15--15
-
emergence, 5(3)577--612
-
emergency, 10(1)11--11, 12(4)100--100
-
emerging, 6(2)13--13, 6(3)16--16, 7(1)1--1, 8(3)24--24, 9(4)33--33,
10(1)5--5, 10(1)8--8, 10(1)9--9, 11(4)72--72, 11(4)79--79,
11(4)83--83, 11(z)43--43, 11(z)51--51, 12_1s_43_43, 12(2)22--22,
12_2s_90_90, 12(3)81--81, 13(2)17--17, 13_2s_64_64, 13_2s_73_73
-
EMG, 12(4)99--99
-
Emken, Adar, 11(z)48--48
-
Emken, Adar, see Thatte, Gautam
-
emphasis, 6(2)14--14, 11(2)29--29, 11(4)87--87
-
emphasize, 7(2)19--19, 8(4)29--29, 11(4)76--76, 13(3)44--44
-
emphasizing, 7(3)29--29
-
empirical, 7(3)35--35, 11(2)35--35, 12_1s_44_44, 13(1)7--7, 13(2)17--17
-
empirically, 6(3)18--18, 7(3)34--34, 13(3)45--45
-
employ, 6(1)8--8, 7(3)27--27, 8(2)14--14, 8(2)15--15, 8(3)19--19,
8(3)21--21, 9(4)35--35, 11(4)73--73, 11(z)48--48, 11(z)55--55,
12_1s_44_44, 12(2)30--30, 12(2)31--31, 12_2s_89_89, 12_2s_92_92,
12(3)81--81, 13(1)14--14, 13_1s_40_40, 13(2)25--25, 13_2s_64_64,
13_2s_69_69
-
employed, 7(2)14--14, 7(3)27--27, 7(4)40--40, 8(2)12--12, 8(3)19--19,
9(4)40--40, 11(2)28--28, 11(4)78--78, 13_1s_36_36, 13_2s_69_69,
13_2s_73_73
-
employing, 7(3)26--26, 13(1)7--7
-
emulated, 8(2)11--11, 10(4)48--48
-
emulating, 8(1)6--6
-
emulator, 11(3)60--60
-
enabled, 5(3)577--612, 6(1)4--4, 8(2)10--10, 11(1)6--6, 11(4)79--79,
12(2)27--27, 12(3)84--84, 13_2s_72_72
-
enabled, compiler-, 2(3)373--392
-
enabled, multimedia-, 7(2)10--10
-
enabler, 6(3)16--16
-
enabling, 6(4)31--31, 10(1)4--4, 10(2)18--18, 11(2)26--26, 11(2)27--27,
11(4)89--89, 12_1s_44_44, 12_2s_97_97, 12(4)111--111, 13(1)9--9
-
EnAS, 12(1)14--14
-
encapsulated, 11(2)34--34
-
encapsulates, 11(3)60--60
-
encode, 8(2)9--9
-
encoded, 13_2s_66_66
-
encoder, 6(1)6--6, 11S_1(15)15, 12_2s_96_96
-
Encoderash, 12_2s_96_96
-
encoding, 6(1)3--3, 7(3)35--35, 8(2)9--9, 11(2)37--37, 11(4)72--72,
12(2)30--30, 12_2s_97_97
-
encoding, bus-, 8(2)9--9
-
encompasses, 12(3)70--70
-
encompassing, 8(4)30--30
-
encounter, 12_2s_87_87
-
encountered, 9(4)30--30
-
encroached, 12(2)29--29
-
encrypt, 10(1)11--11
-
encrypted, 12(3)71--71
-
encryption, 6(2)12--12, 11(3)69--69
-
end, 8(1)4--4, 8(1)8--8, 12_1s_48_48, 12_1s_50_50, 12(2)30--30,
12_2s_89_89, 13(1)13--13, 13_1s_32_32
-
end, back-, 10(1)11--11
-
end, end-to-, 11(1)1--1, 11(4)81--81, 11(4)85--85, 11(z)48--48,
12(4)108--108, 12(4)109--109
-
end, high-, 12_1s_33_33, 13(2)19--19
-
end, low-, 10(4)40--40
-
end-systems, 11(4)81--81
-
end-to-end, 11(1)1--1, 11(4)81--81, 11(4)85--85, 11(z)48--48,
12(4)108--108, 12(4)109--109
-
end-user, 6(4)32--32
-
end-users, 12_1s_43_43
-
endurance, 7(4)38--38, 12_1s_36_36
-
energy, Low-, 2(1)98--130
-
energy, low-, 5(3)577--612, 11(2)27--27, 12(3)82--82
-
energy, minimum-, 4(3)679--706
-
energy-aware, 2(1)5--32, 2(3)431--447, 6(4)27--27, 7(2)9--9, 7(3)27--27,
7(3)28--28, 13(1)6--6, 13_2s_71_71, 13_2s_72_72, 13(3)49--49
-
energy-based, 11(z)57--57
-
energy-constrained, 10(1)14--14
-
energy-consuming, 13(1)6--6
-
energy-delay, 7(3)24--24, 13(1)7--7, 13(3)49--49
-
energy-delay-area, 12_2s_93_93
-
energy-delay-squared, 11S_1(24)24
-
energy-dissipation, 11(2)27--27
-
energy-efficiency, 11(2)27--27, 11S_1(24)24
-
Energy-Efficient, 11(2)26--26, 11(2)27--27, 11(z)48--48
-
energy-efficient, 5(2)321--341, 5(3)513--542, 6(4)27--27, 7(2)17--17,
7(3)33--33, 8(1)5--5, 8(2)9--9, 9(3)15--15, 9(3)16--16, 9(3)28--28,
10(3)35--35, 11(1)2--2, 11(2)27--27, 11S_1(14)14, 12_2s_91_91,
12(3)81--81, 13_2s_71_71
-
Energy-Fidelity, 11(z)50--50
-
energy-fidelity, 11(z)50--50
-
energy-harvesting, 6(4)32--32, 13_2s_68_68
-
energy-optimal, 2(3)393--430, 4(1)141--167
-
energy-optimizing, 7(1)2--2
-
energy-reduction, 7(2)9--9
-
energy-scalable, 13(1)7--7
-
Energy-Synchronized, 13_2s_68_68
-
energy-synchronized, 13_2s_68_68
-
Energyash, 11(2)37--37
-
Energy/QoS, 11(2)37--37
-
energy/QoS/reliability, 11S_1(15)15
-
ENFFiS, 12(2)23--23
-
enforce, 7(3)23--23, 12(1)12--12, 12_1s_39_39, 13_1s_32_32,
13(2)17--17
-
enforced, 12(1)2--2
-
enforcing, 11(3)60--60
-
Enforcing, Liveness-, 12(1)2--2
-
enforcing, liveness-, 12(1)2--2
-
Engblom, J., 4(3)587--611
-
Engblom, J., see Caspi, P.
-
Engblom, Jakob, 7(3)36--36
-
Engblom, Jakob, see Wilhelm, Reinhard
-
Engel, Michael, 13_1s_31_31
-
Engel, Michael, see Schmoll, Florian
-
Engelen, Robert van, 5(4)819--863
-
Engelen, Robert van, see Kulkarni, Prasad
-
engine, 5(3)658--686, 8(2)10--10, 9(4)43--43, 12_2s_87_87, 12(3)72--72,
13_1s_30_30, 13_1s_33_33
-
engine, micro-, 10(4)44--44
-
engineer, 10(3)34--34, 10(3)38--38, 11(4)78--78, 12(4)100--100,
13(3)44--44, 13(3)51--51
-
engineering, 4(3)549--568, 4(3)569--586, 8(4)30--30, 10(2)21--21,
11(3)62--62, 11(z)49--49, 12_2s_87_87
-
enhance, 6(3)17--17, 7(3)33--33, 8(1)8--8, 11(2)26--26, 12(2)25--25,
12(2)28--28, 13(1)13--13, 13(2)18--18
-
enhanced, 6(3)18--18, 7(2)10--10, 8(1)6--6, 12(2)23--23, 12_2s_89_89,
13_1s_30_30
-
enhancement, 7(3)26--26, 7(3)35--35, 8(1)8--8, 8(4)27--27, 11(3)60--60,
11(3)65--65, 11(4)87--87, 13(1)10--10
-
enhancing, 4(2)388--414, 6(2)10--10, 7(4)40--40, 8(2)12--12, 8(3)21--21,
11(2)26--26, 11(3)60--60, 12_1s_37_37
-
enhancing, behavior-, 8(3)17--17
-
enhancing, productivity-, 11(z)41--41
-
enjoy, 11(2)34--34
-
enlarge, 11S_1(15)15
-
enlarged, 6(3)15--15
-
enormous, 12_1s_50_50
-
enough, 5(4)719--752, 7(3)31--31, 7(4)46--46, 10(1)2--2, 11(3)62--62,
11S_1(24)24, 13(1)8--8, 13_2s_62_62, 13(3)48--48
-
enriched, 11(z)54--54
-
ENS, 11(2)27--27
-
ensure, 5(4)753--772, 7(1)4--4, 8(1)8--8, 8(4)28--28, 9(4)34--34,
10(1)6--6, 10(4)47--47, 11(1)10--10, 11(2)26--26, 11(4)75--75,
11(4)80--80, 11(z)49--49, 11(z)57--57, 12(1)7--7, 12(2)29--29,
12(3)79--79, 13(1)11--11, 13_1s_32_32, 13(2)18--18, 13_2s_65_65,
13(3)48--48
-
ensured, 12_1s_51_51
-
ensuring, 6(3)16--16, 7(1)6--6, 11(2)37--37, 11(3)60--60, 11(4)78--78,
12(1)15--15, 12(3)78--78, 13(1)1--1, 13(3)48--48
-
entertainment, 8(3)24--24, 10(4)48--48
-
entire, 6(4)29--29, 7(2)12--12, 7(2)21--21, 8(3)18--18, 11(1)5--5,
11S_1(16)16, 12_2s_91_91, 12(4)109--109, 13(1)13--13
-
entropy, 11(3)62--62, 11(4)72--72
-
entropy-based, 13_2s_56_56
-
entry, 6(1)3--3, 6(2)11--11, 8(1)5--5, 12(4)110--110
-
enumeration, 12(1)8--8, 12(3)74--74
-
environmental, 5(3)543--576, 11(4)80--80, 11(z)48--48, 12(2)31--31,
13_1s_36_36, 13_2s_66_66
-
environmentally, 5(3)543--576
-
environments, 7(4)40--40, 8(2)12--12, 9(4)43--43, 10(1)7--7, 10(3)30--30,
10(3)33--33, 10(4)48--48, 11(1)3--3, 11(4)80--80, 11(z)47--47,
11(z)48--48, 11(z)50--50, 12_1s_49_49, 13(2)17--17
-
EnviroSuite, 5(3)543--576
-
Enz, Christian, 12_2s_93_93
-
Enz, Christian, see Lingamneni, Avinash
-
epilepsy, 12(4)102--102
-
epileptic, 12(4)102--102
-
episodic, 11(2)27--27
-
equal, 8(1)7--7, 10(1)9--9, 10(2)27--27
-
equation, 12_1s_50_50, 13(2)23--23
-
equilibrium, 13_2s_57_57
-
equipment, 12(2)30--30, 13(1)6--6, 13(2)23--23
-
equipped, 7(1)4--4, 8(1)6--6, 9(4)39--39, 10(4)40--40, 13(3)48--48
-
equivalent, 7(3)26--26, 11S_1(21)21, 12(4)109--109, 13(1)7--7,
13(1)13--13, 13_1s_28_28
-
era, 12(3)77--77
-
eradicated, 13(1)6--6
-
erase, 6(3)18--18, 12(2)23--23
-
erase-before-write, 6(3)18--18, 9(4)40--40
-
erase-unit, 11S_1(18)18
-
erased, 12(2)23--23
-
Eriksson, Mattias, 11S_1(19)19
-
Eriksson:2012:ICG, 11S_1(19)19
-
Ermedahl, Andreas, 7(3)36--36
-
Ermedahl, Andreas, see Wilhelm, Reinhard
-
Ernst, Rolf, 6(4)25--25, 9(1)4--4, 10(2)15--15, 10(2)22--22, 12(3)70--70
-
Ernst, Rolf, see Basten, Twan,
see Do Carmo Lucas, Amilcar,
see Schliecker, Simon,
see Staschulat, Jan,
see Voros, Nikolaos S.
-
error, burst-, 12(2)28--28
-
Error-Aware, 11(2)37--37, 11S_1(15)15
-
error-aware, 11(2)37--37
-
error-free, 7(3)23--23
-
error-prone, 7(4)42--42, 13_1s_28_28, 13_1s_37_37
-
error-rate, 13_1s_39_39
-
error-resilience, 11(2)37--37
-
ES, 8(4)30--30
-
ES-IMS, 12(2)19--19
-
ESC, 13_2s_68_68
-
Escalating, 12_2s_89_89
-
especially, 6(1)3--3, 6(2)14--14, 6(4)25--25, 7(4)40--40, 8(2)12--12,
10(1)6--6, 10(3)38--38, 12(1)6--6, 12_1s_51_51, 12(2)22--22,
12(2)24--24, 12(3)82--82, 13(1)6--6, 13_1s_40_40, 13(2)21--21,
13_2s_72_72, 13(3)42--42, 13(3)43--43
-
essence, 6(3)15--15, 12_2s_87_87
-
essential, 10(3)32--32, 11(z)50--50, 12(1)8--8, 12_2s_96_96
-
essential, non-, 12(3)82--82
-
essentially, 12(1)17--17
-
establish, 5(3)513--542, 6(3)16--16, 7(4)45--45, 11(z)54--54, 12(1)7--7,
12(3)69--69
-
established, 11(4)86--86
-
established, well-, 8(2)17--17, 11(1)1--1, 11S_1(21)21
-
establishing, 8(1)3--3, 11(2)34--34, 11(3)59--59
-
establishment, 7(2)20--20, 11(3)59--59
-
ESTEREL, 4(4)708--750
-
Esterel, 12(3)80--80
-
Estévez-Ayres, Iria, 10(1)7--7,
see Basanta-Val, Pablo
-
estimate, 6(1)7--7, 6(4)26--26, 7(1)4--4, 7(3)25--25, 7(3)34--34,
11(1)3--3, 11(2)35--35, 11(3)65--65, 11(z)55--55, 11S_1(14)14,
12_1s_40_40, 13(1)8--8, 13(2)17--17, 13(2)21--21, 13(3)43--43
-
estimated, 11(z)56--56, 11S_1(23)23, 12(2)20--20, 13(1)1--1, 13(1)8--8
-
estimating, 6(4)31--31, 7(4)46--46, 11(2)35--35, 11(3)66--66,
12(3)85--85, 13(3)43--43
-
estimation, 4(4)819--850, 6(4)31--31, 7(3)32--32, 7(3)34--34, 7(4)46--46,
11(2)35--35, 11(z)40--40, 11(z)43--43, 11(z)56--56, 11S_1(22)22,
12(2)25--25, 12_2s_94_94, 12(3)85--85, 13(1)8--8, 13(2)21--21
-
ESTIMedia'08, 11S_1(11)11
-
ESTIMedia'09, 11(4)70--70
-
ESTIMedia'10, 13_1s_26_26
-
ESTIMedia'11, 13_2s_58_58
-
ESTIMedia'12, 12_1s_32_32
-
Estrin, Deborah, 3(1)24--60
-
Estrin, Deborah, see Bulusu, Nirupama
-
ETBF, 11(3)63--63
-
etc, 7(4)44--44, 8(4)29--29, 10(4)44--44, 11(4)84--84, 11(z)50--50,
12(3)84--84, 13_1s_28_28
-
Etien, Anne, 10(4)39--39
-
Etien, Anne, see Gamatié, Abdoulaye
-
Ettus, Matthew, 2(3)255--276
-
Ettus, Matthew, see Martin, Thomas L.
-
Eustache, Yvan, 10(3)38--38
-
Eustache, Yvan, see Diguet, Jean-Philippe
-
evaluated, 6(1)5--5, 6(4)25--25, 7(2)12--12, 8(1)5--5, 8(1)6--6,
8(3)23--23, 9(4)30--30, 9(4)31--31, 10(1)2--2, 10(1)9--9,
10(1)13--13, 10(3)37--37, 11(1)3--3, 11(1)9--9, 11(3)65--65,
11(4)80--80, 11S_1(20)20, 12_1s_37_37, 12_1s_48_48, 12(2)26--26,
12(3)70--70, 12(4)109--109, 13(1)7--7, 13(1)10--10, 13(1)13--13,
13_1s_28_28, 13_1s_30_30, 13_1s_40_40, 13_2s_62_62,
13_2s_73_73, 13(3)42--42, 13(3)43--43
-
evaluating, 5(2)453--471, 8(1)8--8, 10(3)37--37, 12(3)69--69,
12(3)75--75, 13_1s_29_29, 13_2s_66_66
-
evaluator, 13(1)7--7
-
even, 6(1)4--4, 6(2)11--11, 6(2)14--14, 6(4)23--23, 7(2)13--13,
7(2)18--18, 7(2)22--22, 7(3)23--23, 7(3)24--24, 7(3)26--26,
7(4)46--46, 8(1)6--6, 8(2)15--15, 10(1)2--2, 10(1)6--6, 10(1)9--9,
11(1)10--10, 11(2)34--34, 11(2)36--36, 11(4)77--77, 11(4)81--81,
11(z)40--40, 12_2s_90_90, 12(4)101--101, 12(4)106--106,
13_1s_40_40, 13(2)18--18, 13_2s_57_57, 13_2s_62_62, 13_2s_67_67,
13(3)49--49
-
evenly, 7(2)13--13, 12(2)23--23
-
event, 6(4)28--28, 7(4)43--43, 7(4)44--44, 8(2)17--17, 9(4)33--33,
10(1)5--5, 10(1)11--11, 10(2)22--22, 11(1)3--3, 11(2)27--27,
11(3)65--65, 11(4)79--79, 11(4)80--80, 11S_1(12)12, 12(1)1--1,
12(1)12--12, 12(2)25--25, 13_1s_32_32, 13_2s_56_56, 13_2s_66_66
-
event, discrete-, 7(3)29--29
-
Event-B, 12(1)16--16
-
event-driven, 11(3)65--65, 12(1)5--5, 12_1s_39_39
-
event-triggered, 7(2)15--15, 12(1)18--18
-
Eventrons, 8(2)15--15
-
eventuality, 12(1)16--16
-
eventually, 12_1s_43_43, 12(3)73--73, 13(3)42--42
-
ever-increasing, 12_1s_48_48
-
every, 5(4)819--863, 6(4)28--28, 8(3)22--22, 8(4)28--28, 12(4)111--111,
13_2s_67_67
-
evicted, 6(1)7--7
-
eviction, cache-, 6(1)7--7
-
evictions, 11(4)89--89
-
evidence, 5(4)773--818, 11(2)32--32, 12_2s_94_94, 13(1)7--7
-
EVM, 11(4)82--82
-
EVM-based, 11(4)82--82
-
evolution, 7(4)43--43, 8(3)21--21, 12(1)14--14, 12(1)17--17
-
evolutionary, 3(4)661--685, 11(3)64--64, 13(2)20--20
-
evolved, 6(4)22--22
-
evolves, 11(4)73--73, 13_1s_31_31
-
exacerbate, 12_2s_94_94
-
exact, 7(3)28--28, 7(3)30--30, 8(2)11--11, 9(4)34--34, 11(z)58--58,
12_2s_87_87, 12(3)67--67
-
exactly, 7(1)4--4
-
examine, 5(3)658--686, 7(3)31--31, 10(1)3--3, 10(1)5--5, 11(1)7--7,
11(2)36--36, 11(3)66--66, 11(z)53--53, 11S_1(13)13, 11S_1(19)19,
13(1)1--1
-
examined, 12(1)9--9, 12(1)10--10
-
examining, 10(2)28--28
-
example, 5(3)687--717, 6(4)29--29, 6(4)30--30, 7(3)29--29, 7(4)40--40,
8(1)4--4, 9(4)33--33, 10(1)9--9, 10(3)31--31, 11(2)27--27,
11(2)38--38, 11(z)53--53, 11(z)58--58, 12(1)2--2, 12(1)3--3,
12(1)4--4, 12(1)8--8, 12_1s_39_39, 12_1s_49_49, 12(2)29--29,
12_2s_92_92, 12(3)73--73, 12(4)109--109, 13(1)14--14, 13_1s_27_27,
13_1s_28_28, 13(2)16--16, 13_2s_57_57, 13_2s_60_60
-
Exblock, 12(2)23--23
-
exceed, 5(3)658--686, 6(4)26--26, 7(3)25--25, 7(4)46--46, 12_1s_44_44,
12(3)78--78
-
exceeding, 5(3)658--686, 7(3)24--24
-
excellent, 5(3)613--657, 13(2)23--23
-
except, 8(4)29--29
-
exception, 7(2)11--11, 10(1)8--8, 13(3)47--47
-
exception-handler, 10(1)8--8
-
excessive, 12_2s_96_96, 13(2)19--19
-
exchange, 7(3)29--29
-
exchanged, 6(4)31--31, 12_2s_93_93, 13(3)45--45
-
exchanging, 7(3)29--29, 9(4)38--38, 11(4)85--85
-
exclusion, 5(3)513--542
-
executable, 6(1)5--5, 6(1)6--6, 7(4)39--39, 8(3)21--21, 8(4)30--30,
10(4)40--40, 11(4)73--73, 11(4)77--77, 11(4)78--78, 11(z)58--58,
13(1)3--3
-
execute, 6(1)2--2, 6(4)30--30, 7(2)14--14, 7(2)21--21, 7(3)35--35,
8(1)1--1, 8(1)8--8, 9(4)30--30, 10(3)30--30, 10(4)39--39,
10(4)44--44, 11(1)10--10, 12_1s_33_33, 13(2)23--23, 13(2)24--24
-
executed, 6(1)6--6, 7(2)11--11, 8(3)17--17, 10(1)5--5, 10(3)32--32,
11(4)86--86, 11(z)58--58, 12(1)14--14, 12_2s_94_94, 12(3)79--79,
12(3)80--80, 13(1)13--13, 13_2s_62_62
-
executing, 5(4)753--772, 8(2)10--10, 8(3)22--22, 10(1)9--9, 10(2)27--27,
10(3)32--32, 11(1)8--8, 11(3)60--60, 11(4)79--79, 13(1)5--5,
13_1s_28_28, 13_1s_30_30
-
execution-based, 13_2s_72_72
-
execution-in-place, 8(1)6--6
-
execution-time, 7(3)36--36, 10(1)2--2
-
execution., 8(2)10--10
-
exercise, 12(4)103--103
-
exercised, 11(3)60--60
-
exhausting, 12(3)73--73
-
exhaustive, 11(z)54--54, 13(1)8--8, 13_2s_61_61
-
exhaustive, non-, 11(1)8--8
-
exhaustively, 12_1s_44_44
-
exhibit, 6(1)4--4, 7(1)4--4, 8(1)4--4, 9(4)39--39, 11(1)1--1, 12(1)13--13,
12_1s_40_40, 12(3)77--77, 13_2s_60_60, 13_2s_66_66, 13(3)50--50
-
exhibiting, 6(2)13--13
-
exist, 6(1)2--2, 6(2)13--13, 8(2)9--9, 9(4)34--34, 10(1)6--6, 10(4)47--47,
11(1)1--1, 11(1)7--7, 11(z)46--46, 12(1)10--10, 12_1s_40_40,
13(1)7--7, 13(1)12--12, 13_2s_59_59, 13(3)47--47
-
existent, 7(4)40--40, 8(2)12--12, 12(1)6--6
-
exit, 7(4)46--46
-
Exotasks, 8(2)15--15
-
expand, 6(3)15--15, 11(2)37--37
-
expanded, 11(2)37--37, 11S_1(15)15
-
expansion, 8(3)23--23, 12_2s_88_88
-
expect, 5(3)658--686, 13(1)13--13
-
expected, 6(3)15--15, 7(1)4--4, 8(3)18--18, 11(3)63--63, 11(4)72--72,
13_2s_64_64, 13(3)41--41
-
expedited, 8(1)6--6
-
expend, 12_2s_90_90
-
expenditure, 7(3)28--28
-
expense, 11(2)31--31, 12_2s_89_89
-
expensive, 6(4)23--23, 7(1)7--7, 7(2)10--10, 7(2)19--19, 7(2)20--20,
8(3)23--23, 8(4)32--32, 11(3)59--59, 12(3)77--77, 13(1)1--1,
13_2s_66_66
-
experience, 6(1)4--4, 7(1)5--5, 7(4)41--41, 8(2)13--13, 10(1)8--8,
12_1s_37_37, 12(4)100--100, 13_2s_60_60
-
experimentally, 6(4)32--32, 7(2)13--13, 8(3)23--23, 12(3)72--72,
12(3)84--84, 13_2s_73_73
-
experimentation, 7(4)39--39
-
expert, 5(4)753--772, 11(4)78--78, 13(2)16--16, 13(3)51--51
-
explain, 11S_1(21)21, 12(1)14--14, 12_1s_39_39
-
explaining, 11(z)51--51
-
explicit, 7(4)39--39, 9(4)36--36, 12(3)68--68, 12(3)74--74, 13_1s_36_36,
13_2s_61_61
-
explicitly, 6(1)4--4, 10(2)26--26, 11(z)58--58, 13_2s_61_61
-
exploit, 6(2)10--10, 6(2)11--11, 6(4)23--23, 7(2)16--16, 7(3)26--26,
8(2)9--9, 8(4)30--30, 10(2)18--18, 10(2)25--25, 10(3)33--33,
10(4)41--41, 11(2)37--37, 11(3)60--60, 11(3)63--63, 11(4)80--80,
11(4)88--88, 11(z)44--44, 11(z)48--48, 11S_1(12)12, 12_1s_50_50,
12_2s_90_90, 12_2s_92_92, 12(3)81--81, 12(3)82--82, 12(4)105--105,
13(1)8--8, 13(2)20--20, 13_2s_56_56, 13_2s_66_66, 13(3)43--43
-
exploitation, 8(1)8--8, 8(2)10--10, 11(2)37--37
-
exploited, 7(2)10--10, 8(2)10--10, 8(2)14--14, 8(3)17--17, 11(4)84--84,
12_1s_35_35, 12(2)27--27, 12(4)105--105, 13_1s_30_30
-
exploiting, 6(2)11--11, 6(4)29--29, 7(1)3--3, 7(3)28--28, 8(1)2--2,
9(3)17--17, 11(1)2--2, 11(2)27--27, 11(2)37--37, 11(z)48--48,
11(z)56--56, 11S_1(15)15, 12_1s_37_37, 12_1s_47_47, 12(2)21--21,
12_2s_89_89, 12_2s_90_90, 12_2s_91_91, 13(1)3--3, 13_2s_57_57
-
exploration, co-, 13_1s_27_27
-
exploration-based, 11(2)26--26
-
explore, 5(4)773--818, 7(1)4--4, 7(2)14--14, 7(2)22--22, 7(3)27--27,
7(4)39--39, 7(4)41--41, 8(2)13--13, 8(3)17--17, 11(1)5--5,
11(2)33--33, 11(z)44--44, 11(z)57--57, 11S_1(14)14, 12_1s_34_34,
13(1)1--1, 13(2)21--21, 13(2)24--24, 13_2s_66_66, 13(3)41--41
-
explore, co-, 13_1s_27_27
-
explored, 7(4)38--38, 7(4)41--41, 8(2)13--13, 10(1)5--5, 12(3)83--83
-
exploring, 7(2)22--22, 11S_1(24)24, 12_2s_95_95, 13_2s_57_57
-
explosion, 10(2)19--19, 11(z)56--56, 12(1)7--7
-
explosion, state-, 9(4)36--36
-
explosive, 13(1)6--6
-
exponential, 13_2s_65_65
-
exponentially, 6(2)14--14, 11(z)54--54, 12(1)3--3
-
expose, 13(3)45--45
-
exposed, 6(4)24--24, 12_2s_90_90, 13(2)25--25
-
exposing, 6(4)24--24
-
express, 10(1)12--12, 12_1s_42_42, 12(2)22--22
-
expressed, 13_1s_28_28, 13(2)17--17, 13_2s_66_66
-
expressing, 7(4)43--43, 10(2)25--25
-
expression, 12_2s_87_87
-
expressive, 13(1)2--2
-
expressivity, 10(2)16--16, 12(1)16--16, 13(1)2--2
-
ext2, 11(1)9--9
-
ext3, 11(1)9--9
-
extend, 7(2)22--22, 7(3)33--33, 8(1)7--7, 9(4)37--37, 10(3)33--33,
11(2)26--26, 11(3)68--68, 11(4)86--86, 11S_1(19)19, 12(1)16--16,
12(3)67--67, 13_1s_28_28, 13_2s_66_66, 13_2s_70_70
-
extended, 6(1)6--6, 6(2)12--12, 7(3)26--26, 10(1)13--13, 11(2)37--37,
11(z)44--44, 11(z)56--56, 12(2)22--22, 12(2)23--23, 12(3)77--77,
13(1)3--3, 13_2s_69_69
-
extending, 6(4)26--26, 7(2)12--12, 7(3)25--25, 7(3)33--33, 10(1)12--12,
10(3)31--31, 12_2s_87_87, 12(3)76--76, 13(3)49--49
-
extensible, 8(4)26--26, 13_1s_27_27
-
extension, 3(3)575--592, 7(3)31--31, 7(3)33--33, 8(4)26--26, 11(2)26--26,
11(4)83--83, 11S_1(21)21, 12(1)14--14, 12(1)18--18, 12_1s_45_45
-
extension, sign-, 7(3)26--26
-
extensive, 6(3)20--20, 6(4)28--28, 7(3)35--35, 9(4)39--39, 10(1)11--11,
10(1)14--14, 10(4)46--46, 11(1)3--3, 11(3)60--60, 11(3)65--65,
11(4)80--80, 13_1s_29_29, 13_1s_36_36, 13_2s_66_66
-
extensively, 12(2)29--29, 13_2s_56_56
-
extent, 6(1)5--5, 7(3)35--35, 8(2)10--10, 12_1s_42_42, 12_2s_94_94
-
external, 5(3)543--576, 7(2)11--11, 8(2)9--9, 8(3)19--19, 12(3)71--71,
13_1s_33_33
-
extra, 7(3)23--23, 7(4)46--46, 8(2)14--14, 9(4)40--40, 11(3)65--65,
11S_1(20)20, 13(1)1--1, 13(1)10--10, 13_2s_60_60
-
extra-functional, 11(4)84--84, 12(1)14--14
-
extract, 6(2)11--11, 11(3)65--65, 11S_1(13)13, 12(1)3--3, 13(2)19--19
-
extracted, 6(4)31--31, 8(1)5--5, 8(2)14--14, 10(3)33--33, 12(2)26--26
-
extraction, 11(4)87--87
-
extreme, 7(3)34--34, 8(4)26--26
-
extremely, 7(2)22--22, 8(1)6--6, 8(2)14--14, 8(4)28--28, 9(4)30--30,
11(1)2--2, 11S_1(24)24, 12(1)5--5, 13_1s_38_38
-
Eyisi, Emeka, 11(4)75--75
-
Eyisi, Emeka, see Koutsoukos, Xenofon