Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Joloboff, Vania"" wg kryterium: Autor


Wyświetlanie 1-17 z 17
Tytuł :
Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs
Autorzy :
Joloboff, Vania
Gerstlauer, Andreas
Pokaż więcej
Źródło :
Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. :1-31
Książka elektroniczna
Tytuł :
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models
Autorzy :
Ngo, Van Chan
Legay, Axel
Joloboff, Vania
Pokaż więcej
Źródło :
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. 9779:84-91
Książka elektroniczna
Tytuł :
Towards Verified Faithful Simulation
Autorzy :
Joloboff, VaniaAff16, Aff17, Aff18
Monin, Jean-François
Shi, Xiaomu
Pokaż więcej
Źródło :
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. 9409:105-119
Książka elektroniczna
Tytuł :
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models
Autorzy :
Ngo, Van
Legay, Axel
Joloboff, Vania
Pokaż więcej
Temat :
[INFO]Computer Science [cs]
Theoretical computer science
Computer science
Statistical model
Linear temporal logic
Bounded function
SystemC
computer.programming_language
computer
Programming language
computer.software_genre
Runtime verification
Probabilistic logic
Źródło :
CAV 2016-28th International Conference on Computer Aided Verification
CAV 2016-28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. pp.84-91, ⟨10.1007/978-3-319-41528-4_5⟩
CAV (1)
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f21d07ef7bed4fe8fa1a4e449dca273
https://hal.inria.fr/hal-01406488
Tytuł :
Automated Generation of Instruction Set Simulator from Specification
Autorzy :
Joloboff, Vania
Liu, Shengpeng
He, Fei
Pokaż więcej
Temat :
Instruction Set Simulator
Computer Architecture
Hardware Simulation
Compiler
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.8: Types of Simulation/I.6.8.3: Discrete event
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems/I.6.7.0: Environments
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.3: Programmer workbench
Źródło :
International Conference on Computer Engineering (ICOCE 2014)
International Conference on Computer Engineering (ICOCE 2014), Prof. Yulin Wang, Wuhan University, China Prof. Yulin Wang, Wuhan University, China and Prof. Sheng-Uei Guan, Xi'an Jiaotong-Liverpool University, China, Nov 2014, Shenzhen, China
2014 International Conference on Computer Engineering (ICOCE 2014)
2014 International Conference on Computer Engineering (ICOCE 2014), SAISE, Nov 2014, Shenzhen, China
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::40ec824393ee17d13cee35fe37ec1304
https://hal.archives-ouvertes.fr/hal-01081105
Tytuł :
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.
Autorzy :
Ngo, Van Chan
Legay, Axel
Joloboff, Vania
Pokaż więcej
Źródło :
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I; 2016, p84-91, 8p
Książka
Tytuł :
JCOD: A Lightweight Modular Compilation Technology for Embedded Java
Autorzy :
Delsart, Bertrand
Joloboff, Vania
Paire, Eric
Pokaż więcej
Źródło :
Embedded Software : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings. 2491:197-212
Materiał oryginalny :
This work was accomplished with funding from Hewlett-Packard Corporation and a grant from the Japanese government, through its IPA agency.
Książka elektroniczna
Tytuł :
Fast Dynamic Translation Using LLVM On Multi-Core Hosts
Autorzy :
Zuyu, Zhang
Joloboff, Vania
Zhou, Xinlei
Helmstetter, Claude
Pokaż więcej
Temat :
Instruction Set Simulation
binary dynamic translation
computer architecture
compilation
LLVM
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
Software_PROGRAMMINGLANGUAGES
Źródło :
5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT)
5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), Intel Corporation, Jun 2012, Portland, Oregon, United States
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2572ef868e0185dc742b44c22a874883
https://hal.inria.fr/hal-00777156
Tytuł :
Fast Instruction Set Simulation Using LLVM-based Dynamic Translation
Autorzy :
Joloboff, Vania
Zhou, Xinlei
Helmstetter, Claude
Gao, Xiaopeng
Pokaż więcej
Temat :
LLVM
Instruction Set Simulation
binary dynamic translation
computer architecture
compilation
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
Software_PROGRAMMINGLANGUAGES
Źródło :
International MultiConference of Engineers and Computer Scientists 2011
International MultiConference of Engineers and Computer Scientists 2011, IAENG, Mar 2011, Hong Kong, China. pp.212-216
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a9c488a0b1f4b3dd6be076c31aff030e
https://hal.inria.fr/hal-00646947
Tytuł :
Unification d'arborescences : évaluation sémantique d'énoncés en langue naturelle
Autorzy :
Joloboff, Vania
Pokaż więcej
Temat :
traduction automatique
traitement automatique
langues
langue
langage
compréhension
interprétation
théorie linguistique
sémantique
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
Modélisation et simulation. Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier-Grenoble I, 1978. Français
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::427cbca9394a633d114f03d453ae1553
https://tel.archives-ouvertes.fr/tel-00288196
Tytuł :
A Graphics Editor for Document Preparation
Autorzy :
Joloboff , Vania
Pokaż więcej
Temat :
[ INFO.INFO-TT ] Computer Science [cs]/Document and Text Processing
[ INFO.INFO-HC ] Computer Science [cs]/Human-Computer Interaction [cs.HC]
Źródło :
ACM SIGSMALL Symposium on Personal and Small Computers
ACM. ACM SIGSMALL Symposium on Personal and Small Computers, 1983, San Diego, United States. ACM, 1983, Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
Dostępność :
https://explore.openaire.eu/search/publication?articleId=od_______166::10abd121e1f815f0f10ff67c86a3c904
https://hal.inria.fr/inria-00350527
    Wyświetlanie 1-17 z 17

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies