咨询与建议

限定检索结果

文献类型

  • 94 篇 期刊文献
  • 46 篇 会议
  • 4 册 图书
  • 3 篇 学位论文

馆藏范围

  • 147 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 128 篇 工学
    • 111 篇 计算机科学与技术...
    • 38 篇 电气工程
    • 38 篇 软件工程
    • 7 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 5 篇 电子科学与技术(可...
    • 2 篇 机械工程
    • 2 篇 航空宇航科学与技...
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 化学工程与技术
  • 31 篇 理学
    • 27 篇 数学
    • 3 篇 物理学
    • 1 篇 科学技术史(分学科...
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 7 篇 管理科学与工程(可...
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 147 篇 models of comput...
  • 10 篇 computational co...
  • 8 篇 systemc
  • 7 篇 embedded systems
  • 7 篇 cyber-physical s...
  • 7 篇 cellular automat...
  • 5 篇 simulation
  • 5 篇 turing machines
  • 5 篇 algorithms
  • 4 篇 theory of comput...
  • 4 篇 dataflow
  • 4 篇 heterogeneous mo...
  • 3 篇 parallel algorit...
  • 3 篇 languages
  • 3 篇 reconfigurable s...
  • 3 篇 time hierarchies
  • 3 篇 hypercomputation
  • 3 篇 design
  • 3 篇 theory
  • 3 篇 vlsi

机构

  • 4 篇 univ calif berke...
  • 3 篇 leiden univ leid...
  • 3 篇 univ giessen ins...
  • 3 篇 univ calif berke...
  • 2 篇 univ kassel fach...
  • 2 篇 loughborough uni...
  • 2 篇 univ cantabria d...
  • 2 篇 virginia polytec...
  • 2 篇 queens univ sch ...
  • 2 篇 univ auckland de...
  • 2 篇 univ milan dipar...
  • 2 篇 univ maryland in...
  • 1 篇 univ illinois de...
  • 1 篇 tetra pak packag...
  • 1 篇 natl instruments...
  • 1 篇 univ vaasa sch t...
  • 1 篇 saab ab business...
  • 1 篇 microsoft res ca...
  • 1 篇 univ calabria de...
  • 1 篇 univ surrey ctr ...

作者

  • 4 篇 sander ingo
  • 4 篇 lee ea
  • 4 篇 akl selim g.
  • 3 篇 stefanov todor
  • 3 篇 klein a
  • 3 篇 pighizzini giova...
  • 3 篇 loubach denis s.
  • 3 篇 kutrib m
  • 3 篇 bhattacharyya sh...
  • 3 篇 bournez olivier
  • 2 篇 shafiei arash
  • 2 篇 prigioniero luca
  • 2 篇 schneider klaus
  • 2 篇 nicollin xavier
  • 2 篇 bingham brad d.
  • 2 篇 shukla sk
  • 2 篇 liu xj
  • 2 篇 krishnaswamy rub...
  • 2 篇 duarte gabriel c...
  • 2 篇 ungureanu george

语言

  • 140 篇 英文
  • 6 篇 其他
  • 1 篇 中文
检索条件"主题词=Models of computation"
147 条 记 录,以下是41-50 订阅
排序:
An extensible modeling methodology for embedded and cyber-physical system design
收藏 引用
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL 2016年 第8期92卷 771-794页
作者: Attarzadeh-Niaki, Seyed-Hosein Sander, Ingo Shahid Beheshti Univ Comp Engn Tehran Iran KTH Royal Inst Technol Elect Syst Design Stockholm Sweden
models are important tools to manage the increasing complexity of system design. The choice of a modeling language for constructing models governs what types of systems can be modeled, and which subsequent design acti... 详细信息
来源: 评论
Modeling, Analysis, and Hard Real-Time Scheduling of Adaptive Streaming Applications
收藏 引用
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 2018年 第11期37卷 2636-2648页
作者: Zhai, Jiali Teddy Niknam, Sobhan Stefanov, Todor Leiden Univ Leiden Inst Adv Comp Sci NL-2333 CA Leiden Netherlands
In real-time systems, the application's behavior has to be predictable at compile-time to guarantee timing constraints. However, modern streaming applications which exhibit adaptive behavior due to mode switching ... 详细信息
来源: 评论
The design of a multicore extension of the SPIN model checker
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2007年 第10期33卷 659-674页
作者: Holzmann, Gerard J. Bosnacki, Dragan CALTECH Jet Prop Labs Lab Reliable Software Pasadena CA 91109 USA Eindhoven Univ Technol NL-5600 MB Eindhoven Netherlands
We describe an extension of the SPIN model checker for use on multicore shared-memory systems and report on its performance. We show how, with proper load balancing, the time requirements of a verification run can, in... 详细信息
来源: 评论
Designing, Modeling and Analysis of GALS Software Systems
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2023年 第8期49卷 3989-4003页
作者: Zhang, Weiyi Salcic, Zoran Malik, Avinash Univ Auckland Dept Elect Comp & Software Engn Auckland 1010 New Zealand
Designing software systems underpinned by a formal model of computation (MoC) is crucial for safety-critical, real-time and all industrial applications as it allows formal analysis of those designs and support for cor... 详细信息
来源: 评论
Metamodeling: An Emerging Representation Paradigm for System-Level Design
收藏 引用
IEEE DESIGN & TEST OF COMPUTERS 2009年 第3期26卷 54-69页
作者: Sangiovanni-Vincentelli, Alberto Shukla, Sandeep Kumar Sztipanovits, Janos Yang, Guang Mathaikutty, Deepak A. Univ Calif Berkeley Berkeley CA 94720 USA Virginia Polytech & State Univ Bradley Dept Elect & Comp Engn Blacksburg VA USA Vanderbilt Univ Nashville TN USA Natl Instruments Berkeley CA USA Intel Corp Microarchitecture Res Lab Santa Clara CA 95051 USA
Editor's note:The use of metamodeling in system design allows abstraction of concepts germane to a number of varying modeling domains, and provides the ability of exploiting meta-information for a variety of syste... 详细信息
来源: 评论
On the complexity of regular-grammars with integer attributes
收藏 引用
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2011年 第2期77卷 393-421页
作者: Manna, M. Scarcello, F. Leone, N. Univ Calabria Dept Math I-87036 Arcavacata Di Rende CS Italy Univ Calabria Dept Elect Comp Sci & Syst I-87036 Arcavacata Di Rende CS Italy
Regular grammars with attributes overcome some limitations of classical regular grammars, sensibly enhancing their expressiveness. However, the addition of attributes increases the complexity of this formalism leading... 详细信息
来源: 评论
Instrumentation-Driven Validation of Dataflow Applications
收藏 引用
JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY 2016年 第3期84卷 383-397页
作者: Chukhman, Ilya Jiao, Yang Ben Salem, Haifa Bhattacharyya, Shuvra S. Univ Maryland Dept Elect Comp Engn College Pk MD 20742 USA Tech Univ Munich Elect Elect Comp Engn Munich Germany Univ Maryland Inst Adv Comp Studies College Pk MD 20742 USA Tampere Univ Technol Dept Pervas Comp Tampere Finland
Dataflow modeling offers a myriad of tools for designing and optimizing signal processing systems. A designer is able to take advantage of dataflow properties to effectively tune the system in connection with function... 详细信息
来源: 评论
PAPIFY: Automatic Instrumentation and Monitoring of Dynamic Dataflow Applications Based on PAPI
收藏 引用
IEEE ACCESS 2019年 7卷 111801-111812页
作者: Madronal, Daniel Arrestier, Florian Sancho, Jaime Morvan, Antoine Lazcano, Raquel Desnos, Karol Salvador, Ruben Menard, Daniel Juarez, Eduardo Sanz, Cesar Univ Politecn Madrid Res Ctr Software Technol & Multimedia Syst CITSEM Madrid 28031 Spain Univ Rennes INSA Rennes CNRS IETR UMR 6164 F-35708 Rennes France
The widening of the complexity-productivity gap in application development witnessed in the last years is becoming an important issue for the developers. New design methods try to automate most designers tasks to brid... 详细信息
来源: 评论
RDF: A Reconfigurable Dataflow Model of computation
收藏 引用
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 2023年 第1期22卷 1-30页
作者: Fradet, Pascal Girault, Alain Krishnaswamy, Ruby Nicollin, Xavier Shafiei, Arash Univ Grenoble Alpes INRIA CNRS Grenoble INPLIG Orange France Orange Labs 140 Ave Republ F-92320 Chatillon France
Dataflow models of computation (MoCs) are widely used in embedded systems, including multimedia processing, digital signal processing, telecommunications, and automatic control. In a dataflow MoC, an application is sp... 详细信息
来源: 评论
Connectionist modal logic: Representing modalities in neural networks
收藏 引用
THEORETICAL COMPUTER SCIENCE 2007年 第1-2期371卷 34-53页
作者: Garcez, Artur S. d'Avila Lamb, Luis C. Gabbay, Dov M. City Univ London Sch Informat Dept Comp London EC1V 0HB England Univ Fed Rio Grande do Sul Inst Informat BR-91501970 Porto Alegre RS Brazil Kings Coll London Dept Comp Sci London WC2R 2LS England
Modal logics are amongst the most successful applied logical systems. Neural networks were proved to be effective learning systems. In this paper, we propose to combine the strengths of modal logics and neural network... 详细信息
来源: 评论