设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(243)
知网期刊论文(53)
在“
Elsevier电子期刊
”中,
命中:
20
条,耗时:0.0459549 秒
在所有数据库中总计命中:
296
条
1.
Preserving
differential privacy under finite-precision
semantics
作者:
Ivan Gazeau
a
;
ivan.gazeau@lsv.fr
;
Dale Miller
b
;
Catuscia Palamidessi
b
;
catuscia@lix.polytechnique.fr
关键词:
Differential privacy
;
Finite-precision arithmetic
;
Robustness to errors
刊名:Theoretical Computer Science
出版年:2016
2.
Optimized
implementation
of synchronous models on industrial LTTA systems
作者:
Marco Di Natale
a
;
marco@sssup.it" class="auth_mail
Author Vitae
;
Qi Zhu
b
Author Vitae
;
Alberto Sangiovanni-Vincentelli
c
Author Vitae
;
Stavros Tripakis
c
;
d
Author Vitae
关键词:
Synchronous models
;
Distributed systems
;
Loosely time-triggered architecture
;
Semantics
-
preserving
implementation
;
Code generation
;
Embedded systems
刊名:Journal of Systems Architecture
出版年:April, 2014
3.
Optimizing the
implementation
of real-time Simulink models onto distributed automotive architectures
作者:
Gang Han
;
Marco Di Natale
;
Haibo Zeng
;
Xue Liu
;
Wenhua Dou
关键词:
Design optimization
;
Model-based design
;
Real-time systems
;
Time-triggered networks
;
FlexRay
刊名:Journal of Systems Architecture
出版年:November, 2013
4.
An application-level technique based on recursive hierarchical state machines for agent execution state capture
作者:
Giancarlo Fortino
;
g.fortino@unical.it
;
Francesco Rango
frango@si.deis.unical.it
关键词:
Software agents
;
Distilled StateCharts
;
Execution state capture
;
JADE
;
Strong mobility
刊名:Science of Computer Programming
出版年:2013
5.
Parallel rare term vector replacement: Fast and effective dimensionality reduction for text
作者:
T. Berka
a
;
tobias.berka@gmx.net
;
tberka@cosy.sbg.ac.at
Author Vitae
;
M. Vajter&scaron
;
ic
a
;
b
;
marian@cosy.sbg.ac.at
Author Vitae
关键词:
Information retrieval
;
Dimensionality reduction
;
Parallel algorithms
刊名:Journal of Parallel and Distributed Computing
出版年:2013
6.
Privacy-
preserving
network flow recording
作者:
Bilal Shebaro
bshebaro@cs.unm.edu
;
Jedidiah R. Crandall
;
crandall@cs.unm.edu
关键词:
NetFlow
;
Network forensics
;
Identity based encryption
;
Privacy
preserving
semantics
;
Statistical database
刊名:Digital Investigation
出版年:2011
7.
Privacy-
preserving
network flow recording
作者:
Bilal Shebaro
a
;
bshebaro@cs.unm.edu"" rel=""nofollow
;
Jedidiah R. Crandall
;
a
;
crandall@cs.unm.edu"" rel=""nofollow
关键词:
NetFlow
;
Network forensics
;
Identity based encryption
;
Privacy
preserving
semantics
;
Statistical database
刊名:Digital Investigation
出版年:2011
8.
A correspondence between type checking via reduction and type checking via evaluation
作者:
Ilya Sergey
;
;
1
;
;
ilya.sergey@cs.kuleuven.be
;
Dave Clarke
关键词:
Formal
semantics
;
Functional programming
;
Compositional evaluators
;
Type checkers
;
Continuation-passing style
;
Defunctionalization
;
Refunctionalization
刊名:Information Processing Letters
出版年:2012
9.
A ¡°Minimal Disruption?Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml
作者:
M. Danelutto
a
;
marcod@di.unipi.it
;
R. Di Cosmo
b
;
roberto@dicosmo.org
关键词:
structured parallel programming
;
algorithmic skeletons
;
map
;
reduce
刊名:Procedia Computer Science
出版年:2012
10.
Yada: Straightforward parallel programming
作者:
David
;
Gay
b
;
;
dgay@acm.org
;
Joel
;
Galenson
a
;
;
joel@cs.berkeley.edu
;
Mayur
;
Naik
b
;
;
mayur.naik@intel.com
;
Kathy
;
Yelick
a
;
;
yelick@cs.berkeley.edu
关键词:
Parallelism
;
Parallel language
;
Language design
;
Determinism
;
Parallel-reduction
;
Parallel-prefix
刊名:Parallel Computing
出版年:2011
1
2
按检索点细分(20)
关键词(1)
文摘(16)
按出版年细分(20)
2027年及以后(2)
2016年(1)
2013年(2)
2012年(2)
2011年(4)
2009年(1)
2008年(2)
2005年(1)
2004年(2)
2001年(1)
2000年及以前(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.