• Search: "I.6.4: Model Validation and Analysis"

Showing 1 - 20 of 29

1

Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
Kriouile, Abderahman ; Serwe, Wendelin ; Construction of verified concurrent systems (CONVECS) ; et al.
FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems. :108-122

Madrid, Spain hardware architecture model checking system level cache coher... ACM: B.: Hardware B.3: MEMORY STRUCTURES …
Conference
Save to List
2

Markov models for fMRI correlation structure: is brain functional connectivity small world, or decomposable into networks?
Varoquaux, Gaël ; Gramfort, Alexandre ; Poline, Jean Baptiste ; et al.
Journal of Physiology - Paris. 106:212-221

fMRI brain networks small-world functional connectivity Markov models decomposable graphs …
Journal
Save to List
3

Foliation-Based Parameter Tuning in a Model of the GnRH Pulse and Surge Generator
Clément, Frédérique ; Vidal, Alexandre ; SIgnals and SYstems in PHysiology & Engineering (SISYPHE) ; et al.
SIAM Journal on Applied Dynamical Systems. 8(4):1591-1631

Coupled Oscillators Hysteresis Fast-Slow Dynamics Amplitude and Frequency... Ovulation Neuroendocrinology …
Journal
Save to List
4

Testbed for assessing the accuracy of interventional radiology simulations
Sanz Lopez, Mario ; Dequidt, Jérémie ; Kerrien, Erwan ; et al.
ISBMS - 6th International Symposium on Biomedical Simulation, Oct 2014, Strasbourg, France

Strasbourg, France ACM: I.: Computing Metho... I.6: SIMULATION AND MODE... I.6.4: Model Validation... [INFO.INFO-MO]Computer S... Modeling and Simulation …
Conference
Save to List
5

An Efficient Power Estimation Methodology for Complex RISC Processor-based Platforms
Rethinagiri, Santhosh Kumar ; Ben Atitallah, Rabie ; Dekeyser, Jean-Luc ; et al.
GLSVLSI 2012, GLSVLSI, May 2012, Salt lake city, UTAH, United States

Salt lake city, UTAH, Un... ACM: I.: Computing Metho... I.6: SIMULATION AND MODE... I.6.4: Model Validation... [INFO.INFO-ES]Computer S... Embedded Systems
Conference
Save to List
6

Extending INET Framework for Directional and Asymmetrical Wireless Communications
Uribe, Paula ; Maureira, Juan-Carlos ; Dalle, Olivier ; et al.
ICST 3rd International Workshop on OMNeT++, ICST, Mar 2010, Torremolinos, Spain. 8p

Torremolinos, Spain ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.1: Network Architect... C.2.1.10: Wireless commu... ACM: I.: Computing Metho... …
Conference
Save to List
7

Towards automatic proofs of lock-free algorithms
Fejoz, Loïc ; Merz, Stephan ; Proof-oriented development of computer-based systems (MOSEL) ; et al.
Exploiting Concurrency Efficiently and Correctly, Jul 2008, Princeton, United States

Princeton, United States lock-free algorithm correctness refinement ACM: I.: Computing Metho... …
Conference
Save to List
8

On the Robustness of Temporal Properties for Stochastic Models
E. Bartocci ; BORTOLUSSI, LUCA ; L. Nenzi ; et al.
HSB 2013-Second International Workshop on Hybrid Systems and Biology, pp. 3–19, Taormina, 2 Settembre 2013
info:cnr-pdr/source/autori:Bartocci E.; Bortolussi L.; Nenzi L.; Sanguinetti G./congresso_nome:HSB 2013-Second International Workshop on Hybrid Systems and Biology/congresso_luogo:Taormina/congresso_data:2 Settembre 2013/anno:2013/pagina_da:3/pagina_a:19/intervallo_pagine:3–19
Electronic Proceedings in Theoretical Computer Science, Vol 125, Iss Proc. HSB 2013, Pp 3-19 (2013)
Electronic Proceedings in Theoretical Computer Science

FOS: Computer and inform... Computer Science - Logic... Computer Science - Machi... System design G.3 PROBABILITY AND STAT... Computer Science - Artif... …
Academic journal
Save to List
9

The Teaching of Data Structures !: A Balanced Presentation of Skew Heaps
Guyomard, Marc ; Human-machine spoken dialogue (CORDIAL) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; et al.
The B method: from Research to Teaching. :45-64

Nantes, France ACM: I.: Computing Metho... I.6: SIMULATION AND MODE... I.6.4: Model Validation... [INFO.INFO-DS]Computer S... Data Structures and Algo...
Conference
Save to List
10

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation
Schrammel, Peter ; Jeannet, Bertrand ; Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) ; et al.
[Research Report] RR-7859. :37-37

Hybrid Systems Verification Data-Flow Languages Hybrid Automata Static Analysis ACM: D.: Software …
Report
Save to List
11

Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems
Beaumont, Olivier ; Bobelin, Laurent ; Casanova, Henri ; et al.
[Research Report] RR-7761. :36-36

ACM: I.: Computing Metho... I.6: SIMULATION AND MODE... I.6.4: Model Validation... I.6.5: Model Development I.6.7: Simulation Suppor... [INFO.INFO-DC]Computer S... …
Report
Save to List
12

A simple stability condition for RED using TCP mean-field modeling
Reynier, Julien ; Theory of networks and communications (TREC) ; Département d'informatique - ENS-PSL (DI-ENS) ; et al.
[Research Report] 2006. :24-24

TCP AQM drop-tail RED congestion ACM: I.: Computing Metho... …
Report
Save to List
13

Conservative cross diffusions and pattern formation through relaxation
Bendahmane, Mostafa ; Lepoutre, Thomas ; Marrocco, Americo ; et al.

ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS G.1.8: Partial Different... G.1.0: General G.1.8.3: Finite element... ACM: I.: Computing Metho... …
Save to List
14

Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
Simona Bernardi ; Javier Campos ; The Pennsylvania State University CiteSeerX Archives
http://webdiis.unizar.es/GISED/sites/default/files/09_BC_TII.pdf.

Index Terms—D.2.8.b. Per... D.4.8.b. Modeling and Pr... D.4.8.d. Operational Ana... G.1.6.g. Linear Programm... I.6.4. Model Validation... J.7.g. Real
Academic journal
Save to List
15

Precomputed Shape Database for Real-Time Physically-Based Simulation
Glondu, Loeïz ; Legouis, Benoît ; Marchal, Maud ; et al.
Workshop on Virtual Reality Interaction and Physical Simulation - VRIPHYS 2011, Dec 2011, Lyon, France

Lyon, France ACM: I.: Computing Metho... I.6: SIMULATION AND MODE... I.6.4: Model Validation... [INFO.INFO-GR]Computer S... Graphics [cs.GR]
Conference
Save to List
16

Integration of Security Policy into System Modeling
Benaissa, Nazim ; Cansell, Dominique ; Mery, Dominique ; et al.
The 7th International B Conference - B2007, Jan 2007, Besançon, France

refinement integration security policy ACM: I.: Computing Metho... I.6: SIMULATION AND MODE... I.6.4: Model Validation... …
Conference
Save to List
17

A Practical, Comprehensive Light Reflection Model
Hongsong Li ; The Pennsylvania State University CiteSeerX Archives
http://www.graphics.cornell.edu/pubs/2005/LT05c.pdf.

Generation I.6.4 [Model validation... reflection model BRDF physical measurements
Academic journal
Save to List
18

Simulation of Large Ad Hoc Networks
Valeri Naoumov ; Thomas Gross ; Departement Informatik ; et al.
http://www.lst.inf.ethz.ch/research/publications/./publications/MSWiM_2003/MSWiM_2003.pdf.

Categories and Subject D... I.6.5 [Simulation and Mo... Model Development I.6.4 Model Validation a... E.1 [Data Structures Graphs and Networks Gene... …
Academic journal
Save to List
19

On the Benefits of Keyword Spreading in Sponsored Search Auctions: An Experimental Analysis
Codenotti B ; Geraci F ; Pellegrini M ; et al.
Lecture Notes in Business Information Processing ISBN: 9783642152078
11th International Conference on E-Commerce and Web Technologies, Bilbao, Spain, 2010
info:cnr-pdr/source/autori:Codenotti B.; Geraci F.; Pellegrini M.; Budinich M./congresso_nome:11th International Conference on E-Commerce and Web Technologies/congresso_luogo:Bilbao, Spain/congresso_data:2010/anno:2010/pagina_da:/pagina_a:/intervallo_pagine

I. Computing Methodologi... H.4 INFORMATION SYSTEMS... ad-auctions K.4.4 Electronic Commerc... I.6 SIMULATION AND MODEL... I.6.4 Model Validation a... …
Book
Save to List
20

Risk management in semi-arid rangelands: Modelling adaptation to spatio-temporal heterogeneities
Jakoby, Oliver ; Prof. Dr. Karin Frank ; Prof. Dr. Uta Berger

rangeland management ecological modelling livestock risk management rotational grazing climate variability …
Dissertation/ Thesis
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter