首页>外文期刊>OASIcs : OpenAccess Series in Informatics

OASIcs : OpenAccess Series in Informatics

OASIcs : OpenAccess Series in Informatics

中文名称：ASIcs：信息学中的开放获取系列

ISSN：2190-6807
出版周期：-

发文量：1335

期刊论文

年度选择

2021
- 第a期
- 第a期
- 第a期
- 第a期
- 第a期
- 第a期
- 第a期
2020
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2019
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
2018
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2017
- 第1期
- 第1期
- 第1期
- 第4期
- 第4期
- 第4期
2016
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2015
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
2014
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2013
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
2012
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2011
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
2010
- 第1期
- 第1期
- 第4期
- 第4期
2009
- 第2期
- 第2期
- 第2期
- 第2期
- 第4期
- 第4期
- 第4期
- 第4期
2008
- 第2期
- 第2期
- 第4期
- 第4期
2007
- 第1期
- 第1期
- 第4期
- 第4期
- 第4期
2006
- 第1期
- 第1期
- 第1期
- 第1期

更多>>

全选（0）

1.WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core

机译：在MERASA多核上执行的并行3D多重网格求解器的WCET分析
- 作者：Christine Rochange;Armelle Bonenfant;Pascal Sainrat;Mike Gerdes;Julian Wolf;Theo Ungerer;Zlatko Petrov;Frantisek Mikulu
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2010年第1期
2.Almost 20 Years of Combinatorial Optimization for Railway Planning: from Lagrangian Relaxation to Column Generation

机译：铁路规划组合优化近20年：从拉格朗日弛豫到列生成
- 作者：Alberto Caprara
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2010年第1期
3.Detection and Identification Techniques for Markers Used in Computer Vision

机译：计算机视觉中标记的检测和识别技术
- 作者：Johannes K{o}hler;Alain Pagani;Didier Stricker
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
4.Supporting Cooperative Traffic Information Systems through Street-Graph-based Peer-to-Peer Networks

机译：通过基于街图的对等网络支持合作交通信息系统
- 作者：Jedrzej Rybicki;Benjamin Pesch;Martin Mauve;Bj{o}rn Scheuermann
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
5.Finite Element Analysis for Linear Elastic Solids Based on Subdivision Schemes

机译：基于细分方案的线性弹性固体有限元分析
- 作者：Daniel Burkhart;Bernd Hamann;Georg Umlauf
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
6.Distributed Probabilistic Network Traffic Measurements

机译：分布式概率网络流量测量
- 作者：Alexander Marold;Peter Lieven;Bj{o}rn Scheuermann
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
7.A Survey of Interaction Techniques and Devices for Large High Resolution Displays

机译：大型高分辨率显示器的交互技术和设备概述
- 作者：Taimur K. Khan
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
8.Optimized DTN-Routing for Urban Public Transport Systems

机译：针对城市公共交通系统的优化DTN路由
- 作者：Tobias P{o}gel
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
9.Browser as a Service (BaaS): Security and Performance Enhancements for the Rich Web

机译：浏览器即服务（BaaS）：Rich Web的安全性和性能增强
- 作者：Nils Gruschka;Luigi Lo Iacono
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
10.Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

机译：使用抽象解释为嵌入式二进制代码生成测试用例
- 作者：Thomas Reinbacher;J{o}rg Brauer;Martin Horauer;Andreas Steininger;Stefan Kowalewski
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
11.Improving Markov-based TCP Traffic Classification

机译：改进基于马尔可夫的TCP流量分类
- 作者：Gerhard M{u}nz;Stephan Heckm{u}ller;Lothar Braun;Georg Carle
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
12.Frontmatter, Table of Contents, Preface

机译：前题，目录，前言
- 作者：Ariane Middel;Inga Scheler;Hans Hagen
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
13.Integer Programming for Media Streams Planning Problem

机译：媒体流规划问题的整数编程
- 作者：Pavel Troubil;Hana Rudova
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
14.A bilevel rescheduling framework for optimal inter-area train coordination

机译：用于优化区域间列车协调的双层调度框架
- 作者：Francesco Corman;Andrea DAriano;Dario Pacciarelli;Marco Pranzo
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
15.Hijacking the Linux Kernel

机译：劫持Linux内核
- 作者：Boris Prochazka;Tomas Vojnar;Martin Drahansky
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
16.An adaptive protocol for distributed beamforming

机译：分布式波束成形的自适应协议
- 作者：Stephan Sigg;Michael Beigl
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
17.Model Driven Development of Distributed Business Applications

机译：分布式业务应用程序的模型驱动开发
- 作者：Wolfgang Goerigk
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
18.Modeling Gene Networks using Fuzzy Logic

机译：使用模糊逻辑对基因网络进行建模
- 作者：Artur Gintrowski
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
19.On the Smoothed Price of Anarchy of the Traffic Assignment Problem

机译：交通分配问题的无政府状态平滑价格
- 作者：Luciana Buriol;Marcus Ritt;Felix Rodrigues;Guido Sch{}fer
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
20.Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling

机译：面向半分区多核调度的实现与评估
- 作者：Yi Zhang;Nan Guan;Wang Yi
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
21.Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm

机译：使用快速水平集样算法同时跟踪多个对象
- 作者：Martin Maska;Pavel Matula;Michal Kozubek
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
22.Efficient Computation of Morphological Greyscale Reconstruction

机译：形态灰度重构的有效计算
- 作者：Pavel Karas
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
23.A Resilient and Energy-saving Incentive System for Resource Sharing in MANETs

机译：移动自组网资源共享的弹性节能激励系统
- 作者：Holger Teske;Jochen Furthm{u}ller;Oliver P. Waldhorst
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
24.Does Proactive Secret Sharing Perform in Peer-to-Peer Systems?

机译：主动机密共享在对等系统中执行吗？
- 作者：Nicolas C. Liebau;Andreas U. Mauthe;Vasilios Darlagiannis;Ralf Steinmetz
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
25.A Novel Algorithm for Distributed Dynamic Interference Coordination in Cellular Networks

机译：蜂窝网络中分布式动态干扰协调的新算法
- 作者：Marc C. Necker
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
26.Haptic Rendering Based on RBF Approximation from Dynamically Updated Data

机译：基于动态更新数据的RBF近似的触觉渲染
- 作者：Jan Fousek;Tomas Golembiovsky;Jiri Filipovic;Igor Peterlik
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
27.TOGBAD-LQ - Using Challenge-Response to Detect Fake Link Qualities

机译：TOGBAD-LQ-使用质询-响应来检测虚假链接质量
- 作者：Elmar Gerhards-Padilla;Nils Aschenbruck;Peter Martini
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
28.Advanced Visualization and Interaction Techniques for Large High-Resolution Displays

机译：大型高分辨率显示器的高级可视化和交互技术
- 作者：Sebastian Thelen
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
29.Delay Management including Capacities of Stations

机译：延迟管理，包括电台容量
- 作者：Twan Dollevoet;Marie Schmidt;Anita Sch{o}bel
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
30.An Arbitrary 2D Structured Replica Control Protocol

机译：任意二维结构化副本控制协议
- 作者：Robert Basmadjian;Hermann de Meer
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
31.Automated generic integration of flight logbook data into aircraft maintenance systems

机译：将飞行日志数据自动通用集成到飞机维护系统中
- 作者：Oliver Hunte;Carsten Kleiner;Uwe Koch;Arne Koschel;Bj{o}rn Koschel
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
32.UniALT for regular language contrained shortest paths on a multi-modal transportation network

机译：统一语言的UniT限制了多式联运网络上的最短路径
- 作者：Kirchler Dominik;Liberti Leo;Pajor Thomas;Wolfler Calvo Roberto
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
33.Stochastic Delay Prediction in Large Train Networks

机译：大型列车网络中的随机时延预测
- 作者：Annabell Berger;Andreas Gebhardt;Matthias M{u}ller-Hannemann;Martin Ostrowski
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
34.The Price of Robustness in Timetable Information

机译：时间表信息中的稳健性价格
- 作者：Marc Goerigk;Martin Knoth;Matthias M{u}ller-Hannemann;Marie Schmidt;Anita Sch{o}bel
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
35.The Lockmaster's problem

机译：船长的问题
- 作者：Sofie Coene;Frits C. R. Spieksma
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
36.A Mobility Model for the Realistic Simulation of Social Context

机译：一种用于社交环境现实模拟的移动模型
- 作者：Daniel Fischer
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
37.Compression of Vector Field Changing in Time

机译：向量场随时间变化的压缩
- 作者：Tomas Golembiovsky;Ales Krenek
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2011年第1期
38.Picat: A Scalable Logic-based Language and System (Invited talk)

机译：Picat：基于可扩展逻辑的语言和系统（特邀演讲）
- 作者：Neng-Fa Zhou
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
39.Refactoring Boundary

机译：重构边界
- 作者：Tim Wood;Sophia Drossopoulou
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
40.Improved Rate Control Algorithm for Scalable Video Coding

机译：用于可伸缩视频编码的改进速率控制算法
- 作者：Lu Xin;Martin Graham R.
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
41.Delay-Robustness of Transfer Patterns in Public Transportation Route Planning

机译：公共交通路线规划中转移模式的时滞性
- 作者：Hannah Bast;Jonas Sternisko;Sabine Storandt
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
42.Evaluation of resource arbitration methods for multi-core real-time systems

机译：多核实时系统资源仲裁方法评估
- 作者：Timon Kelter;Tim Harde;Peter Marwedel;Heiko Falk
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
43.A swarm based heuristic for sparse image recovery

机译：基于群体的启发式稀疏图像恢复
- 作者：Theofanis Apostolopoulos
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
44.Role of Patterns in Automated Task-Driven Grammar Refactoring

机译：模式在自动任务驱动语法重构中的作用
- 作者：J{}n Koll{}r;Ivan Halupka
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
45.Illustrating the Mezzo programming language

机译：说明Mezzo编程语言
- 作者：Jonathan Protzenko
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
46.Character Networks for Narrative Generation: Structural Balance Theory and the Emergence of Proto-Narratives

机译：用于叙事生成的字符网络：结构平衡理论与原始叙事小说的出现
- 作者：Graham Alexander Sack
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
47.PRADA: Predictable Allocations by Deferred Actions

机译：PRADA：通过延迟动作可预测的分配
- 作者：Florian Haupenthal;J{o}rg Herter
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
48.CodeSkelGen - A Program Skeleton Generator

机译：CodeSkelGen-程序骨架生成器
- 作者：Ricardo Queir{o}s
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
49.XML to Annotations Mapping Patterns

机译：XML到注释的映射模式
- 作者：Milan Nos{}l;Jaroslav Porub{}n
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
50.Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing

机译：在没有超标量开销的情况下实现超标量性能-用于自定义计算的数据流编译器IR
- 作者：Ali Mustafa Zaidi;David J. Greaves
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
51.On the Determinism of Multi-core Processors

机译：论多核处理器的确定性
- 作者：Vladimir-Alexandru Paun;Bruno Monsuez;Philippe Baufreton
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
52.Reconstructing Consensus Bayesian Network Structures with Application to Learning Molecular Interaction Networks

机译：重构共识贝叶斯网络结构及其在学习分子相互作用网络中的应用
- 作者：Holger Fr{o}hlich;Gunnar W. Klau
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
53.Relational Knowledge Extraction from Attribute-Value Learners

机译：从属性值学习者中提取关系知识
- 作者：Manoel V. M. Fran{c{c}}a;Artur S. D. Garcez;Gerson Zaverucha
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
54.Having one's cake and eating it too: Coherence of children's emergent narratives

机译：吃蛋糕也要吃：儿童紧急叙述的连贯性
- 作者：Mari{e}t Theune;Thijs Alofs;Jeroen Linssen;Ivo Swartjes
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
55.Combining Language Independent Part-of-Speech Tagging Tools

机译：组合语言独立的词性标记工具
- 作者：Gy{o}rgy Orosz;L{}szl{o} J{}nos Laki;Attila Nov{}k;Borb{}la Sikl{o}si
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
56.Frontmatter, Table of Contents, Preface, Conference Organization

机译：前题，目录，前言，会议组织
- 作者：Tim Bei{ss}barth;Martin Kollmar;Andreas Leha;Burkhard Morgenstern;Anne-Kathrin Schultz;Stephan Waack;Edgar Wingender
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
57.On the estimation of metabolic profiles in metagenomics

机译：关于宏基因组学中代谢谱的估计
- 作者：Kathrin Petra A{ss}hauer;Peter Meinicke
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
58.Tools for the implementation of argumentation models

机译：实现论证模型的工具
- 作者：Bas van Gijzel
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
59.Robust Routing in Urban Public Transportation: How to Find Reliable Journeys Based on Past Observations

机译：城市公共交通中的稳健路线：如何基于以往的观察找到可靠的旅程
- 作者：Katerina B{o}hmov{;Mat{u}s Mihal{}k;Tobias Pr{o}ger;Rastislav Sr{}mek;Peter Widmayer
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
60.Improving the quality of APIs through the analysis of software crash reports

机译：通过分析软件崩溃报告来提高API的质量
- 作者：Maria Kechagia;Dimitris Mitropoulos;Diomidis Spinellis
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
61.The Disappearance of Moral Choice in Serially Reproduced Narratives

机译：连载叙事中道德选择的消失
- 作者：Fritz Breithaupt;Kevin M. Gardner;John K. Kruschke;Torrin M. Liddell;Samuel Zorowitz
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
62.Frontmatter, Table of Contents, Preface, Workshop Organization

机译：前题，目录，前言，研讨会组织
- 作者：Christine Choppy;Jun Sun
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
63.Frontmatter

机译：前垫
- 作者：Jos{e} Paulo Leal;Ricardo Rocha;Alberto Sim{~o}es
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
64.A Data-Driven Approach for Classification of Subjectivity in Personal Narratives

机译：数据驱动的个人叙事主体性分类方法
- 作者：Kenji Sagae;Andrew S. Gordon;Morteza Dehghani;Mike Metke;Jackie S. Kim;Sarah I. Gimbel;Christine Tipper;Jonas Kaplan;Mary Helen Immordino-Yang
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
65.A Participatory Perspective on the Experience of Narrative Worlds (Invited Talk)

机译：叙事世界体验的参与视角（特邀演讲）
- 作者：Richard Gerrig
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
66.ABC with a UNIX Flavor

机译：带有UNIX风格的ABC
- 作者：Bruno M. Azevedo;Jos{e} Jo{~a}o Almeida
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
67.Control of Switching Systems by Invariance Analysis (Invited Talk)

机译：通过不变性分析控制交换系统（特邀演讲）
- 作者：Laurent Fribourg
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
68.Improving System-Level Verification of SystemC Models with SPIN

机译：使用SPIN改进SystemC模型的系统级验证
- 作者：Elshuber Martin;Kandl Susanne;Puschner Peter
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
69.NESSy: a New Evaluator for Software Development Tools

机译：NESSy：软件开发工具的新评估者
- 作者：Enrique Miranda;Mario Ber{o}n;German Montejano;Maria Jo{~a}o Varanda Pereira;Pedro Rangel Henriques
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
70.Linking Motif Sequences with Tale Types by Machine Learning

机译：通过机器学习将主题序列与故事类型链接
- 作者：Nir Ofek;S{}ndor Dar{}nyi;Lior Rokach
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
71.Software Languages: The Linguistic Continuum (Invited talk)

机译：软件语言：语言连续体（特邀演讲）
- 作者：Jean-Marie Favre
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
72.Evolution and Evaluation of the Penalty Method for Alternative Graphs

机译：替代图罚法的演化与评价
- 作者：Moritz Kobitzsch;Marcel Radermacher;Dennis Schieferdecker
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2013年第2期
73.Collecting battery data with Open Battery

机译：用开放电池收集电池数据
- 作者：Gareth L. Jones;Peter G. Harrison
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
74.Texture-based Tracking in mm-wave Images

机译：基于纹理的跟踪在MM波图像中
- 作者：Peter Salz;Gerd Reis;Didier Stricker
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
75.Frontmatter, Table of Contents, Preface, Conference Organisation, Supporters and Sponsors

机译：Frontmatter，目录，前言，会议组织，支持者和赞助商
- 作者：Andrew V. Jones
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
76.Toward Static Timing Analysis of Parallel Software

机译：朝着并行软件的静态时间分析
- 作者：Andreas Gustavsson;Jan Gustafsson;Bj{o}rn Lisper
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
77.Online Transitivity Clustering of Biological Data with Missing Values

机译：缺失值的在线传输聚类生物数据
- 作者：Richard R{o}ttger;Christoph Kreutzer;Thuy Duong Vu;Tobias Wittkop;Jan Baumbach
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
78.Controlling In-Vehicle Systems with a Commercial EEG Headset: Performance and Cognitive Load

机译：使用商业EEG耳机控制车载系统：性能和认知负载
- 作者：Daniel Cernea;Peter-Scott Olech;Achim Ebert;Andreas Kerren
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
79.Finding Characteristic Substructures for Metabolite Classes

机译：寻找代谢物类的特征子结构
- 作者：Marcus Ludwig;Franziska Hufsky;Samy Elshamy;Sebastian B{o}cker
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
80.Predicting Market Direction from Direct Speech by Business Leaders

机译：预测商业领袖直接讲话的市场方向
- 作者：Brett M. Drury;Jos{e} Jo{~a}o Almeida
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
81.On Extending a Linear Tabling Framework to Support Batched Scheduling

机译：延伸线性提取框架以支持批量调度
- 作者：Miguel Areias;Ricardo Rocha
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
82.A General Introduction To Graph Visualization Techniques

机译：图形可视化技术的一般介绍
- 作者：Ragaad M. Tarawaneh;Patric Keller;Achim Ebert
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
83.CFD Simulation of Liquid-Liquid Extraction Columns and Visualization of Eulerian Datasets

机译：液液提取柱的CFD仿真及欧拉数据集的可视化
- 作者：Mark W. Hlawitschka;Fang Chen;Hans-J{o}rg Bart;Bernd Hamann
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
84.A Formal Framework for Precise Parametric WCET Formulas

机译：精确参数WCET公式的正式框架
- 作者：Benedikt Huber;Daniel Prokesch;Peter Puschner
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
85.Computer Verified Exact Analysis (Tutorial)

机译：计算机已验证确切分析（教程）
- 作者：Bas Spitters;Russell OConnor
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2009年第4期
86.Structuring Interactive Correctness Proofs by Formalizing Coding Idioms

机译：通过形式化编码成语来构建交互式正确性证据
- 作者：Holger Gast
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
87.Automatic Derivation of Abstract Semantics From Instruction Set Descriptions

机译：从指令集描述中自动推导抽象语义
- 作者：Dominique G{u}ckel;Stefan Kowalewski
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
88.A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

机译：时间逻辑中加权Kripke结构的定量表征
- 作者：Kim G. Larsen;Uli Fahrenberg;Claus Thrane
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2009年第4期
89.From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote)

机译：从程序执行到自动推理：将本体集成到编程语言中（Keynote）
- 作者：Alexander Paar
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
90.Bounded Model Checking for Linear Time Temporal-Epistemic Logic

机译：线性时间颞istex逻辑的有界模型检查
- 作者：Artur Meski;Wojciech Penczek;Maciej Szreter
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
91.Efficient Route Planning in Flight Networks

机译：飞行网络中高效的路线规划
- 作者：Daniel Delling;Thomas Pajor;Dorothea Wagner;Christos Zaroliagis
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2009年第4期
92.Faster Algorithm for Mean-Payoff Games

机译：均衡算法的均值算法
- 作者：Jakub Chaloupka;Lubo{{s}} Brim
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2009年第4期
93.A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems

机译：用于水分配系统中阀门位置的双纤维混合整数线性规划模型
- 作者：Andrea Peano;Maddalena Nonato;Marco Gavanelli;Stefano Alvisi;Marco Franchini
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
94.Analysis of WCET in an experimental satellite software development

机译：实验卫星软件开发中WCET分析
- 作者：Jorge Garrido;Daniel Brosnan;Juan A. de la Puente;Alejandro Alonso;Juan Zamorano
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2012年第4期
95.From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval and p-Box Uncertainty (Invited Talk)

机译：从间隔计算到约束相关的集合：在间隔和p-box不确定性下更快地估计统计和杂志（邀请的谈话）
- 作者：Vladik Kreinovich
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2009年第4期
96.Making Dynamic Memory Allocation Static to Support WCET Analysis

机译：使动态内存分配静态支持WCET分析
- 作者：J{o}rg Herter;Jan Reineke
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2009年第4期
97.Kaang: A RESTful API Generator for the Modern Web

机译：Kaang：现代网络的RESTFUR API发生器
- 作者：Ricardo Queir{o}s
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2018年第4期
- web developmentgeneratorsweb toolingjavascript;
98.Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)

机译：RACCODE：用于评估编程练习的Eclipse插件（短文）
- 作者：Andr{e} Silva;Jos{e} Paulo Leal;Jos{e} Carlos Paiva
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2018年第4期
- automatic evaluationprogrammingIDElearningcompetition;
99.eOS: The Exercise Operating System

机译：EOS：运动操作系统
- 作者：Rui Mendes;Jos{e} Jo{~a}o Almeida
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2018年第4期
- domain specific languagecode generationautomatic evaluationtesting;
100.NLPPort: A Pipeline for Portuguese NLP (Short Paper)

机译：NLPPORT：葡萄牙语NLP的管道（短文）
- 作者：Ricardo Rodrigues;Hugo Gon{c{c}}alo Oliveira;Paulo Gomes
- 期刊名称：《OASIcs : OpenAccess Series in Informatics》 | 2018年第4期
- natural language processingtoolsPortuguese;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号