掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
2015 Computer Science and Information Technology
2015 Computer Science and Information Technology
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
现代计算机(专业版)
网络安全技术与应用
高性能计算技术
集成技术
传感技术学报
黑客防线
中国计算机用户
宽带世界
计算机工程与科学
电脑知识与技术-经验技巧
更多>>
相关外文期刊
Genetic programming and evolvable machines
INFORMS journal on computing
Application Development Trends
Scientific Computing World
Internet Markets
Access VB - SQL Advisor
Software Development
International Journal of Mobile Human Computer Interaction
Computer Review
Scientific Computing & Instrumentation
更多>>
相关中文会议
2001微机电系统与机器人学术讨论会
第十一届中国人工智能学术年会
中国人工智能学会第十三届学术年会
第十届全国信息获取与处理学术会议
全国抗恶劣环境计算机第二十届学术年会
第五届中国系统建模与仿真技术高层论坛
中科院自动化研究所自动化与信息技术发展战略研讨会暨2003年学术年会
广西计算机学会2007年年会
第14届全国信息存储技术学术会议
中国计算机用户协会信息系统分会2012年第二十二届信息交流大会
更多>>
相关外文会议
International Conference on Coordination Models and Languages(COORDINATION 2004); 20040224-20040227; Pisa; IT
Eleventh International Conference on Mobile Data Management
3rd On-line World Conference on Soft Computing in Engineering Design and Manufacturing in June 1998
International Joint Conference on Autonomous Agents and Multi-agent Systems(AAMAS 2006); European Conference in Artificial Intelligence(ECAI 2006); 20060609; 20060828; Hakodate(JP); Riva del Garda(IT)
Co-HPC 2014: 1st International Workshop on Hardware-Software Co-design for High Performance Computing, Held in conjunction with C14: The International Conference for High Performance Computing, Networking, Storage and Analysis
3rd annual Haifa experimental systems conference 2010
European Symposium on Research in Computer Security(ESORICS 2004); 20040913-15; Sophia Antipolis(FR)
World Multiconference on Systemics, Cybernetics and Informatics(SCI 2002) v.5: Computer Science I; 20020714-20020718; Orlando,FL; US
Third Information Survivability Workshop - ISW-2000, Oct 24-26, 2000, Boston, Massachusetts
International Conference on Conceptual Structures(ICCS 2007); 20070722-27; Sheffield(GB)
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
A persistent surface inversion event in Armenia as simulated by WRF model
机译:
WRF模型模拟的亚美尼亚持续性地表反转事件
作者:
Gevorgyan Artur
;
Melkonyan Hamlet
;
Abrahamyan Rita
;
Petrosyan Zarmandukht
;
Shahnazaryan Anna
;
Astsatryan Hrachya
;
Sahakyan Vladimir
;
Shoukorian Yuri
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Atmospheric modeling;
Data models;
Mathematical model;
Predictive models;
Surface topography;
Temperature distribution;
Weather forecasting;
Ararat Valley;
WRF model;
temperature inversion;
topography;
2.
A theorem on higher-order differences of two-state Markov chains
机译:
二态马尔可夫链的高阶差分定理
作者:
Shahverdian Ashot
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Convergence;
Difference equations;
Fractals;
Limiting;
Markov processes;
Nonlinear systems;
Random processes;
Higher-order differences;
two-state Markov chain;
3.
Clustering of random networks under topological constraints
机译:
拓扑约束下的随机网络聚类
作者:
Hovhannisyan Minas
;
Avetisyan Svetlana
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Complex networks;
Computational modeling;
Computer simulation;
Evolution (biology);
Physics;
Switches;
Trajectory;
Computer simulations;
random networks;
statistical analysis;
topological characteristics;
4.
Constraint satisfaction problems on specific subsets of the n-dimensional unit cube
机译:
关于n维单位立方体的特定子集的约束满足问题
作者:
Aslanyan Levon
;
Sahakyan Hasmik
;
Gronau Hans-Dietrich
;
Wagner Peter
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Boolean functions;
Complexity theory;
Electronic mail;
Finite element analysis;
Optimization;
Probabilistic logic;
Tomography;
Boolean function;
Set systems;
combinatorics;
degree sequence;
hypergraph;
5.
E-Biothon: An experimental platform for bioinformatics
机译:
E-Biothon:生物信息学的实验平台
作者:
Dayde Michel
;
Depardon Benjamin
;
Franc Alain
;
Gibrat Jean-Francois
;
Guilllier Romaric
;
Karami Yasaman
;
Sutter Frederic
;
Taddese Bruck
;
Chabbert Marie
;
Therond Sylvie
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Bioinformatics;
Electronic mail;
Genomics;
Microorganisms;
Portals;
Proteins;
Bioinformatics;
Cloud;
parallel computing;
6.
Fault collapsing for digital circuits based on relations between stuck-at faults
机译:
基于卡死故障之间的关系的数字电路故障崩溃
作者:
Grigoryan Tigranuhi
;
Malkhasyan Heghineh
;
Mushyan Gevorg
;
Vardanian Valery
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Benchmark testing;
Circuit faults;
Combinational circuits;
Digital circuits;
Logic gates;
Sequential circuits;
Very large scale integration;
equivalence;
fault collapsing;
strict dominance;
stuck-at fault;
7.
Frontal cellular automata for the study of non-equilibrium lattice models
机译:
额叶细胞自动机用于非平衡晶格模型的研究
作者:
Poghosyan Hayk
;
Poghosyan Vahagn
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Automata;
Fractals;
Laplace equations;
Lattices;
Probability;
Stochastic processes;
Vegetation;
fractals;
frontal cellular automata;
lattice models;
loop erased random walk;
sandpile model;
stochastic processes;
8.
Limitations of Agronet system in e-projects: Case study of Croatia
机译:
Agronet系统在电子项目中的局限性:克罗地亚的案例研究
作者:
Devcic Anton
;
Sostar Marko
;
Andrlic Berislav
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Absorption;
Agriculture;
Banking;
Europe;
Proposals;
Stakeholders;
Agronet system;
EU fund;
application;
capacities;
9.
LLVM-based code clone detection framework
机译:
基于LLVM的代码克隆检测框架
作者:
Avetisyan Arutyun
;
Kurmangaleev Shamil
;
Sargsyan Sevak
;
Arutunian Mariam
;
Belevantsev Andrey
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Cloning;
Clustering algorithms;
Image edge detection;
Measurement;
Semantics;
LLVM;
code clone;
program dependence graph;
10.
Multithreaded signal preprocessing approach for inertial sensors of smartphone
机译:
智能手机惯性传感器的多线程信号预处理方法
作者:
Kaghyan Sahak
;
Sarukhanyan Hakob
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Accelerometers;
Classification algorithms;
Data processing;
Instruction sets;
Mobile handsets;
Sensors;
Servers;
Activity recognition;
feature extraction;
mobile computing;
signal preprocessing;
smartphone sensors;
11.
On interval edge-colorings of bipartite graphs
机译:
关于二部图的区间边着色
作者:
Petrosyan Petros
;
Khachatrian Hrant
;
Mamikonyan Tigran
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
5G mobile communication;
Bipartite graph;
Color;
Electronic mail;
Hypercubes;
Informatics;
Edge-coloring;
bipartite graph;
biregular bipartite graph;
computer experiment;
hypercube;
interval edge-coloring;
near-interval coloring;
12.
Power optimization approach of ORCA processor for 32/28nm technology node
机译:
ORCA处理器针对32 / 28nm技术节点的功率优化方法
作者:
Babayan Davit
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Clocks;
Optimization;
Reduced instruction set computing;
Registers;
SDRAM;
Standards;
Timing;
RISC core;
digital design;
low power design;
13.
Primitive recursion on higher types
机译:
高阶类型的原始递归
作者:
Ambroszkiewicz Stanislaw
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Calculus;
Computer science;
Concrete;
Data structures;
Electronic mail;
Grounding;
Sockets;
primitive recursion;
textbf Higher order types;
14.
Some properties of Hadamard matrices
机译:
Hadamard矩阵的一些性质
作者:
Giorgobiani Giorgi
;
Kvaratskhelia Vakhtang
;
Menteshashvili Marina
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Computer aided software engineering;
Convergence;
Error correction;
Error correction codes;
Estimation;
Linear matrix inequalities;
Transforms;
Hadamard matrices;
Sylvester (Walsh) matrices;
15.
Time-periodic quantum point interactions
机译:
时间周期量子点相互作用
作者:
Cheon Taksu
;
Poghosyan Sergey
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Boundary conditions;
Couplings;
Lattices;
Mathematical model;
Quantum mechanics;
Scattering;
Wave functions;
Solvable quantum mechanics;
quantum graphs;
time-dependent Schrödinger equation;
16.
Towards deductive verification of concurrent Linux kernel code with Jessie
机译:
使用Jessie演绎验证并发Linux内核代码
作者:
Mandrykin Mikhail
;
Khoroshilov Alexey
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Cognition;
Concurrent computing;
Context;
Kernel;
Linux;
Semantics;
Synchronization;
C semantics;
Verification;
concurrency;
invariants;
ownership;
17.
Traffic anomaly detection and DDOS attack recognition using diffusion map technologies
机译:
使用扩散图技术进行流量异常检测和DDOS攻击识别
作者:
Zheludev Michael
;
Nagradov Evgeny
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Classification algorithms;
Clustering algorithms;
Computer crime;
Geometry;
Measurement;
Telecommunication traffic;
Training;
Kernel methods;
data analysis;
diffusion maps;
18.
A complete characterization of hyperidentities of the variety of weakly idempotent lattices
机译:
各种弱幂等格的超恒等的完整刻画
作者:
Movsisyan Yuri
;
Davidova Diana
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Boolean algebra;
Lattices;
Quantum computing;
Quantum mechanics;
Yttrium;
Boolean algebra;
De Morgan algebra;
Second order formula;
consequence;
distributive lattice;
hyperequational theory;
hyperidentity;
lattice;
modular lattice;
nilpotent shift;
variety;
weakly idempotent lattice;
19.
Augmenting JavaScript JIT with ahead-of-time compilation
机译:
通过提前编译来增强JavaScript JIT
作者:
Zhuykov Roman
;
Vardanyan Vahagn
;
Melnik Dmitry
;
Buchatskiy Ruben
;
Sharygin Eugeniy
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Benchmark testing;
Binary codes;
Dynamic compiler;
Engines;
Libraries;
Loading;
Optimization;
Ahead-of-Time Compilation;
JIT;
JavaScript;
JavaScriptCore;
WebKit;
20.
Document image segmentation based on wavelet features
机译:
基于小波特征的文档图像分割
作者:
Grishkin Valery
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Feature extraction;
Graphics;
Histograms;
Image segmentation;
Kernel;
Support vector machines;
Wavelet transforms;
Image processing;
document image segmentation;
image recognition;
wavelet features;
21.
Determination of camera displacement using image stereo pair
机译:
使用图像立体对确定摄像机位移
作者:
Sroba Lukas
;
Grman Jan
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Calibration;
Cameras;
Distortion;
Estimation;
Geometry;
Optical distortion;
Three-dimensional displays;
camera displacement estmation;
epipolar geometry;
image stereo pair;
22.
Dynamic voltage and frequency scaling for 3D Classical Spin Glass application
机译:
用于3D经典旋转玻璃应用的动态电压和频率缩放
作者:
Astsatryan Hrachya
;
Abajyan Hakob
;
Narsisian Wahi
;
da Costa Georges
;
Gurout Tom
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Computational modeling;
Energy consumption;
Load modeling;
Mathematical model;
Power demand;
Program processors;
Three-dimensional displays;
3D;
DVFS;
Energy efficiency;
HPC;
Spin-Chains;
23.
Efficient secure pattern search algorithm
机译:
高效的安全模式搜索算法
作者:
Khachatryan Gurgen
;
Hovsepyan Mihran
;
Jivanyan Aram
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Algorithm design and analysis;
Benchmark testing;
Electronic mail;
Encryption;
Protocols;
Servers;
Cryptography;
oblivious transfer;
secure function evaluation;
white-box;
24.
Information technologies applications for sign languages investigations
机译:
信息技术在手语调查中的应用
作者:
Kryvonos Iurii
;
Krak Iurii
;
Wojcik Waldemar
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Analytical models;
Animation;
Assistive technology;
Gesture recognition;
Information technology;
Solid modeling;
Three-dimensional displays;
deaf people;
design;
fingerspelling alphabet;
information technology;
sign language;
25.
Method for fire and smoke detection in monitored forest areas
机译:
监测林区火灾和烟雾的检测方法
作者:
Asatryan David
;
Hovsepyan Samvel
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Brightness;
Fires;
Image color analysis;
Image segmentation;
Monitoring;
Temperature sensors;
Testing;
Fire;
classification;
flame;
image processing;
segmentation;
smoke;
26.
Numerical solution of nonlocal contact problems for elliptic equations
机译:
椭圆方程非局部接触问题的数值解
作者:
Gordeziani David
;
Davitashvili Tinatin
;
Meladze Hamlet
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Algorithm design and analysis;
Boundary conditions;
Electronic mail;
Mathematical model;
Poisson equations;
Tungsten;
Contact problem;
elliptic equation;
iteration algorithm;
nonlocal problem;
numerical solution;
27.
On assessment of performance of systems by combining on-the-job and expert attributes scales
机译:
通过结合在职和专家属性量表来评估系统性能
作者:
Pogossian Edward
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Atmospheric measurements;
Games;
Organizations;
Particle measurements;
Software systems;
attribute scales;
performance assessment;
tournaments;
28.
On Hamiltonian bypasses in digraphs with the condition of Y. Manoussakis
机译:
关于带有Y. Manoussakis条件的有向图的哈密顿绕过
作者:
Darbinyan Samvel Kh.
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Automation;
Bipartite graph;
Electronic mail;
Informatics;
Terminology;
Yttrium;
Digraphs;
Hamiltonian bypasses;
Hamiltonian cycles;
cycles;
29.
On the tt-complete set which is tt-mitotic but not btt-mitotic
机译:
在tt完全集合上,它是tt有丝分裂但不是btt有丝分裂
作者:
Mokatsian Arsen H.
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Automation;
Electronic mail;
Encoding;
Indexes;
Informatics;
Injuries;
Yttrium;
btt-reducibility;
mitotic set;
q-complete set;
recursively enumerable (r.e.) set;
tt-complete set;
30.
On validity of personalized planning and integrated testing algorithms in reproducible games
机译:
可复制游戏中个性化计划和集成测试算法的有效性
作者:
Grigoryan Sedrak
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Color;
Electronic mail;
Games;
Planning;
Search problems;
Testing;
Transforms;
chess;
competition;
planning;
strategy;
31.
Open problems in gossip/broadcast schemes and the possible application of the method of local interchange
机译:
八卦/广播方案中的开放性问题以及本地交换方法的可能应用
作者:
Hovnanyan Vilyam
;
Poghosyan Suren
;
Poghosyan Vahagn
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Automation;
Communication networks;
Electronic mail;
Informatics;
Information exchange;
Joining processes;
Networks;
gossip problem;
method of local interchange;
open problems;
telephone problem;
32.
Predicate transformers for local description units
机译:
本地描述单元的谓词转换器
作者:
Letichevsky Alexander A.
;
Letychevskyi Olexandr O.
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Computational modeling;
Concrete;
Cybernetics;
Electronic mail;
Protocols;
Semantics;
Software;
Predicate transformers;
attributed transition systems;
local description units;
symbolic verification;
33.
Programming into graphs of a new generation and the single graphical shell for all languages
机译:
编程成新一代图形并支持所有语言的单个图形化外壳
作者:
Velbitskiy Igor
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Computers;
Documentation;
Keyboards;
Mouth;
Programming;
Visualization;
3D programming;
Google Blockly;
RR∗-schemes;
UML;
compactness;
drawing;
generation of programs;
generation of tests;
graph loaded on the horizontal arcs;
network graphs;
polyglot;
proof correctness;
quick entry;
simplicity;
visualization;
34.
Prototyping system for USB3.0 link layer using synthesizable assertions and partial reconfiguration
机译:
用于USB3.0链路层的原型系统,使用可综合的断言和部分重新配置
作者:
Krrikyan Harutyun
;
Hovhannisyan Taron
;
Manukyan Sergey
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Electronic mail;
Field programmable gate arrays;
Hardware;
Payloads;
Prototypes;
Resource management;
Universal Serial Bus;
Partial Reconfiguration (PR);
Programmable Gate Array (FPGA);
System Verilog Assertion (SVA);
Universal Serial Bus (USB);
35.
The GÈANT Green Team: An example of how organizations can use a community approach to promote the use of ICT in sustainability efforts
机译:
GÈANT绿色团队:组织如何使用社区方法在可持续发展工作中促进使用ICT的示例
作者:
Hankel Albert
;
Astsatryan Hrachya
;
Narsisian Wahi
会议名称:
《2015 Computer Science and Information Technology》
|
2015年
关键词:
Best practices;
Capability maturity model;
Collaboration;
Education;
Europe;
Green products;
Organizations;
ASNET-AM;
ECO2METER;
Environmental Policy;
GEANT;
GHG;
GREEN ICT;
Inter-organizational collaboration;
意见反馈
回到顶部
回到首页