I agree that this site is using cookies. You can find further informations here.
X
Morse, Jeremy
132  results:
Search for persons X
?
1

On the Limitations of Analyzing Worst-Case Dynamic Energy o..:

Morse, Jeremy ; Kerrison, Steve ; Eder, Kerstin
ACM Transactions on Embedded Computing Systems.  17 (2018)  3 - p. 1-22 , 2018
Link: https://doi.org/10.1145/..
 
?
2

ESBMC 5.0: An Industrial-Strength C Model Checker:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),
Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Morse, Jeremy... - p. 888-891 , 2018
Link: https://doi.org/10.1145/..
 
?
3

On the Limitations of Analyzing Worst-Case Dynamic Energy o..:

Morse, Jeremy ; Kerrison, Steve ; Eder, Kerstin
ACM Transactions on Embedded Computing Systems (TECS).  17 (2018)  3 - p. 1-22 , 2018
Link: https://dl.acm.org/doi/1..
 
?
4

ESBMC 5.0: an industrial-strength C model checker:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,
Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Morse, Jeremy... - p. 888-891 , 2018
Link: https://dl.acm.org/doi/1..
 
?
5

Data Dependent Energy Modeling for Worst Case Energy Consum..:

, In: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems,
Pallister, James ; Kerrison, Steve ; Morse, Jeremy. - p. 51-59 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

ENTRA: Whole-systems energy transparency:

Eder, Kerstin ; Gallagher, John P. ; López-García, Pedro...
Microprocessors and Microsystems.  47 (2016)  - p. 278-286 , 2016
Link: https://doi.org/10.1016/..
 
?
7

Static analysis of energy consumption for LLVM IR programs:

, In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems,
Grech, Neville ; Georgiou, Kyriakos ; Pallister, James... - p. 12-21 , 2015
Link: https://dl.acm.org/doi/1..
 
?
8

Applying symbolic bounded model checking to the 2012 RERS g..:

Morse, Jeremy ; Cordeiro, Lucas ; Nicole, Denis.
International Journal on Software Tools for Technology Transfer.  16 (2014)  5 - p. 519-529 , 2014
Link: https://doi.org/10.1007/..
 
?
9

Model checking LTL properties over ANSI-C programs with bou..:

Morse, Jeremy ; Cordeiro, Lucas ; Nicole, Denis.
Software & Systems Modeling.  14 (2013)  1 - p. 65-81 , 2013
Link: https://doi.org/10.1007/..
 
?
10

Language Games:

Morse, Jeremy ; Mark, James
Theology.  87 (1984)  717 - p. 200-200 , 1984
Link: https://doi.org/10.1177/..
 
?
11

Do we need a new Bretton Woods?:

Morse, Jeremy
Fiscal Studies.  4 (1983)  2 - p. 8-18 , 1983
Link: https://www.jstor.org/st..
 
?
12

The Dollar As a Reserve Currency:

Morse, Jeremy
International Affairs (Royal Institute of International Affairs 1944-).  55 (1979)  3 - p. 359-366 , 1979
Link: https://www.jstor.org/st..
 
?
13

The Dollar As A Reserve Currency:

Morse, Jeremy
International Affairs.  55 (1979)  3 - p. 359-366 , 1979
Link: https://doi.org/10.2307/..
 
?
14

The literary guru:

, In: The Guru in South Asia,
Morse, Jeremy G. - p. 222-240 , 2012
Link: https://doi.org/10.4324/..
 
?
15

Die entstehende Währungsordnung:

, In: Finanzierung & Entwicklung
Morse, Christopher Jeremy. (1974)  3 - p. 13-16
Copies:  Zentrale:Magazin Zs fc 2938
 
1-15