FR2882169B1 - Procede de simulation d'un systeme complexe incluant une hierarchie d'ordonnanceurs, produit programme d'ordinateur et moyen de stockage correspondants - Google Patents
Procede de simulation d'un systeme complexe incluant une hierarchie d'ordonnanceurs, produit programme d'ordinateur et moyen de stockage correspondantsInfo
- Publication number
- FR2882169B1 FR2882169B1 FR0501486A FR0501486A FR2882169B1 FR 2882169 B1 FR2882169 B1 FR 2882169B1 FR 0501486 A FR0501486 A FR 0501486A FR 0501486 A FR0501486 A FR 0501486A FR 2882169 B1 FR2882169 B1 FR 2882169B1
- Authority
- FR
- France
- Prior art keywords
- complex system
- class
- simulating
- system including
- computer program
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0501486A FR2882169B1 (fr) | 2005-02-14 | 2005-02-14 | Procede de simulation d'un systeme complexe incluant une hierarchie d'ordonnanceurs, produit programme d'ordinateur et moyen de stockage correspondants |
US11/815,829 US7885802B2 (en) | 2005-02-14 | 2006-02-07 | Method of simulating a complex system including scheduler hierarchy, and corresponding storage means and computer program product |
PCT/EP2006/050725 WO2006084845A2 (fr) | 2005-02-14 | 2006-02-07 | Procede de simulation d'un processeur utilisant un modele comprenant un ensemble de objets |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0501486A FR2882169B1 (fr) | 2005-02-14 | 2005-02-14 | Procede de simulation d'un systeme complexe incluant une hierarchie d'ordonnanceurs, produit programme d'ordinateur et moyen de stockage correspondants |
Publications (2)
Publication Number | Publication Date |
---|---|
FR2882169A1 FR2882169A1 (fr) | 2006-08-18 |
FR2882169B1 true FR2882169B1 (fr) | 2007-05-25 |
Family
ID=34955472
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR0501486A Expired - Fee Related FR2882169B1 (fr) | 2005-02-14 | 2005-02-14 | Procede de simulation d'un systeme complexe incluant une hierarchie d'ordonnanceurs, produit programme d'ordinateur et moyen de stockage correspondants |
Country Status (3)
Country | Link |
---|---|
US (1) | US7885802B2 (fr) |
FR (1) | FR2882169B1 (fr) |
WO (1) | WO2006084845A2 (fr) |
Families Citing this family (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR2907240A1 (fr) | 2006-10-11 | 2008-04-18 | Cofluent Design Sarl | Procede de simulation d'un systeme complexe avec expansion de vecteurs d'instances, produit programme d'ordinateur et moyen de stokage correspondants |
US7934194B2 (en) * | 2006-10-17 | 2011-04-26 | The Mathworks, Inc. | User-defined hierarchies of user-defined classes of graphical objects in a graphical modeling environment |
US8650570B2 (en) | 2008-06-02 | 2014-02-11 | Microsoft Corporation | Method of assigning instructions in a process to a plurality of scheduler instances based on the instruction, in which each scheduler instance is allocated a set of negoitaited processor resources |
EP2366146B2 (fr) * | 2009-12-23 | 2016-10-12 | Inchron GmbH | Procédé et système de traitement de données pour simuler un système intégré |
JPWO2011114478A1 (ja) * | 2010-03-17 | 2013-06-27 | 富士通株式会社 | 生成方法、スケジューリング方法、生成プログラム、スケジューリングプログラム、生成装置、および情報処理装置 |
KR101689736B1 (ko) * | 2010-08-18 | 2016-12-27 | 삼성전자주식회사 | 작업 스케쥴링 기능을 구비한 작업 처리장치, 스케쥴링 활성화 제어장치 및 대칭형 멀티프로세싱 환경에서의 작업 스케쥴링 방법 |
JP5625710B2 (ja) * | 2010-10-05 | 2014-11-19 | 富士通セミコンダクター株式会社 | シミュレーション装置、方法、及びプログラム |
CN102366930A (zh) * | 2011-09-28 | 2012-03-07 | 安徽沃德气门制造有限公司 | 一种自动气门研磨装置 |
US9360523B2 (en) | 2014-04-18 | 2016-06-07 | Breker Verification Systems | Display in a graphical format of test results generated using scenario models |
CN104991884B (zh) * | 2015-06-18 | 2017-12-05 | 中国科学院自动化研究所 | 异构多核SoC的体系结构设计方法 |
US9996637B2 (en) | 2015-07-30 | 2018-06-12 | International Business Machines Corporation | Method for verifying hardware/software co-designs |
US10031987B2 (en) | 2016-06-15 | 2018-07-24 | International Business Machines Corporation | Verification of untimed nets |
EP3321817A1 (fr) * | 2016-11-14 | 2018-05-16 | Dassault Systèmes | Interrogation d'une base de données basée sur une fonction de vue paramétrique |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7069204B1 (en) * | 2000-09-28 | 2006-06-27 | Cadence Design System, Inc. | Method and system for performance level modeling and simulation of electronic systems having both hardware and software elements |
US7567893B2 (en) * | 2004-12-30 | 2009-07-28 | Vast Systems Technology Corporation | Clock simulation system and method |
-
2005
- 2005-02-14 FR FR0501486A patent/FR2882169B1/fr not_active Expired - Fee Related
-
2006
- 2006-02-07 US US11/815,829 patent/US7885802B2/en not_active Expired - Fee Related
- 2006-02-07 WO PCT/EP2006/050725 patent/WO2006084845A2/fr active Application Filing
Also Published As
Publication number | Publication date |
---|---|
FR2882169A1 (fr) | 2006-08-18 |
US20080228461A1 (en) | 2008-09-18 |
US7885802B2 (en) | 2011-02-08 |
WO2006084845A3 (fr) | 2006-12-14 |
WO2006084845A2 (fr) | 2006-08-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
FR2882169B1 (fr) | Procede de simulation d'un systeme complexe incluant une hierarchie d'ordonnanceurs, produit programme d'ordinateur et moyen de stockage correspondants | |
Du et al. | Zero latency: Real-time synchronization of BIM data in virtual reality for collaborative decision-making | |
ATE414947T1 (de) | Transformation von prozessmodellen für ereignis- basierte koordination von zusammengesetzten anwendungen | |
MY157557A (en) | Hardware resource management within a data processing system | |
TW200706220A (en) | Data structure, data structure generation program, data structure generation method for image object expression, image software development device, image processing program, image processing method, image processing device, and recording medium | |
CN102385762B (zh) | 集成Modelica的三维视景仿真系统 | |
US20100013837A1 (en) | Method And System For Controlling Character Animation | |
Yoo et al. | Osmoselua–an integrated approach to energy systems integration with lcia and gis | |
WO2005119506A3 (fr) | Systeme informatique de manipulation de donnees et procedes associes | |
Devigo et al. | Multiexplorer: A tool set for multicore system-on-chip design exploration | |
CN107515966A (zh) | 一种基于dds的雷达仿真系统分层构建方法 | |
TW200609830A (en) | Adaptive scheduler using inherent knowledge of operating system subsystems for managing resources in a data processing system | |
Fisher | Engineering Integration: Real‐Time Approaches to Performative Computational Design | |
Kahn | Comparing multi-agent models composed from micro-behaviours | |
Nägele et al. | Scalability analysis of cloud-based distributed simulations of IoT systems using HLA | |
Pegden | The evolution of simulation languages | |
Gençer et al. | Forking the commons: Developmental tensions and evolutionary patterns in open source software | |
Zyla | Economic aspects of user-oriented modeling for mobile devices | |
Diaz-Uriarte et al. | plot. phylog. cancor 17 | |
Srinivasan et al. | Crops in silico: A community wide multi-scale computational modeling framework of plant canopies | |
Pavlick et al. | Quantifying the importance of plant functional diversity for ecosystem functioning and resilience under scenarios of climate change | |
CN103957457A (zh) | Led节目播放控制装置、系统和方法 | |
García et al. | Videogames decoupled discrete event simulation | |
Lajaaiti et al. | EcologicalNetworksDynamics. jl: A Julia package to simulate the temporal dynamics of complex ecological networks | |
Carley et al. | Experimentation testbeds: Using SORASCS to run and process HSCB virtual experiments |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
TP | Transmission of property |
Owner name: INTEL CORPORATION, US Effective date: 20120206 |
|
ST | Notification of lapse |
Effective date: 20151030 |