咨询与建议

限定检索结果

文献类型

  • 17 篇 会议
  • 12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 26 篇 工学
    • 18 篇 计算机科学与技术...
    • 12 篇 软件工程
    • 10 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
    • 1 篇 核科学与技术
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 化学
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 2 篇 医学
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 文学

主题

  • 29 篇 executable code
  • 4 篇 language
  • 3 篇 runtime
  • 3 篇 codes
  • 3 篇 legal executions
  • 2 篇 domains
  • 2 篇 algorithms
  • 2 篇 end users
  • 2 篇 reverse engineer...
  • 2 篇 refining
  • 2 篇 verification
  • 2 篇 computer personn...
  • 2 篇 computer softwar...
  • 2 篇 microsoft window...
  • 1 篇 real number
  • 1 篇 fuzzy logic
  • 1 篇 conferences
  • 1 篇 state machines
  • 1 篇 networks(communi...
  • 1 篇 compilers

机构

  • 1 篇 imag lab grenobl...
  • 1 篇 univ instelling ...
  • 1 篇 microsoft
  • 1 篇 univ maryland de...
  • 1 篇 st petersburg na...
  • 1 篇 univ colorado bo...
  • 1 篇 univ innsbruck i...
  • 1 篇 software verific...
  • 1 篇 inria rennes ren...
  • 1 篇 virtual vehicle ...
  • 1 篇 inserm u968 f-75...
  • 1 篇 soloviev rybinsk...
  • 1 篇 etri network sec...
  • 1 篇 psl res univ min...
  • 1 篇 brunel univ dept...
  • 1 篇 beijing jiaotong...
  • 1 篇 etri informat se...
  • 1 篇 isfahan univ tec...
  • 1 篇 npp satek plus l...
  • 1 篇 columbia univ de...

作者

  • 1 篇 karner michael
  • 1 篇 kim ikkyun
  • 1 篇 gu dawu
  • 1 篇 baradaran sara
  • 1 篇 jaeger t
  • 1 篇 talpin jean-pier...
  • 1 篇 naygandhi hiren
  • 1 篇 han kijun
  • 1 篇 duda a
  • 1 篇 elwazeer khaled
  • 1 篇 cuyt a
  • 1 篇 keromytis angelo...
  • 1 篇 ethan jackson
  • 1 篇 vivek gupta
  • 1 篇 heidari mahdi
  • 1 篇 zhang yuanyuan
  • 1 篇 ding zhijun
  • 1 篇 kang koohong
  • 1 篇 wang junli
  • 1 篇 kamali ali

语言

  • 29 篇 英文
检索条件"主题词=Executable Code"
29 条 记 录,以下是11-20 订阅
排序:
Compression of words over a partially commutative alphabet
收藏 引用
IEEE TRANSACTIONS ON INFORMATION THEORY 2004年 第7期50卷 1425-1441页
作者: Savari, SA Univ Michigan Dept Elect Engn & Comp Sci Ann Arbor MI 48109 USA
Concurrency is a fundamental concept in computer science which is concerned with the study of systems involving multiple processes. The order of events in a concurrent system is unpredictable because of the independen... 详细信息
来源: 评论
MICROTOOL - AN ENVIRONMENT FOR PROGRAMMING MICROPROCESSORS
收藏 引用
IEEE SOFTWARE 1991年 第1期8卷 42-48页
作者: ELSHOFF, JL MARCOTTY, M GM CORP RES LABSDEPT COMP SCIWARRENMI 48090
A description is given of MicroTool, a programming environment that reports programming errors immediately, blocking their entry into the database from which both executable code and documentation are derived. MicroTo... 详细信息
来源: 评论
A flexible security system for using Internet content
收藏 引用
IEEE SOFTWARE 1997年 第5期14卷 52-&页
作者: Islam, N Anand, R Jaeger, T Rao, JR Laboratory of Chromatography DEPg.Fac.Quimica Universidad Nacional Autonoma de Mexico Circuito interior Cd Universitaria/CP 04510 Mexico D.F.Mexico
The Web has made it easy for users to download content directly, which not only decreases the software stored on users' machines but lets content providers customize applications by combining different vendors'... 详细信息
来源: 评论
Fuzzy logic applied to motor control
收藏 引用
IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS 1996年 第1期32卷 51-56页
作者: Guillemin, P SGS-THOMSON Microelectronics Rousset France
Today, home appliance applications require more and more features such as motor speed adaptations to multipurpose accessories, user friendly interfaces, and security features. Such new requirements can be achieved thr... 详细信息
来源: 评论
On the integration of floating-point, interval, rational and symbolic computation
收藏 引用
ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK 1996年 第s1期76卷 41-44页
作者: Cuyt, A Verdonk, B UNIV INSTELLING ANTWERP DEPT MATH & COMP SCI UNIV PLEIN 1 B-2610 WILRIJK BELGIUM
In choosing an appropriate computer representation for real numbers to perform scientific computations, two main aspects are usually taken, into account: the speed of the computation and the reliability of the output.... 详细信息
来源: 评论
A secure method for transferring active packet using digital signature schemes  10
A secure method for transferring active packet using digital...
收藏 引用
10th International Conference on Telecommunications (ICT 2003)
作者: Kim, Y Na, J Sohn, S ETRI Network Secur Dept Informat Secur Technol Div Yuseong Gu Taejon 305350 South Korea
Active networks represent a new approach to network architecture. Active networks provide a much more flexible network infrastructure than traditional networks do. Flexibility is a powerful merit of active networks, b... 详细信息
来源: 评论
Towards Refinement Types for Time-Dependent Data-Flow Networks  15
Towards Refinement Types for Time-Dependent Data-Flow Networ...
收藏 引用
2015 ACM/IEEE International Conference on Formal Methods and Models for codesign (MEMOcode)
作者: Talpin, Jean-Pierre Jouvelot, Pierre Shukla, Sandeep Kumar INRIA Rennes Rennes France PSL Res Univ MINES ParisTech Paris France IIT Kanpur Kanpur Uttar Pradesh India
The concept of liquid clocks introduced in this paper is a significant step towards a more precise compile-time framework for the analysis of synchronous and polychromous languages. Compiling languages such as Lustre ... 详细信息
来源: 评论
Android App Protection via Interpretation Obfuscation  12
Android App Protection via Interpretation Obfuscation
收藏 引用
IEEE 12th International Conference on Dependable, Autonomic and Secure Computing (DASC)
作者: Shu, Junliang Li, Juanru Zhang, Yuanyuan Gu, Dawu Shanghai Jiao Tong Univ Lab Cryptol & Comp Secur Shanghai 200030 Peoples R China
To protect Android app from malicious reproduction or tampering, code obfuscation techniques are introduced to increase the difficulty of reverse engineering and program understanding. Current obfuscation schemes focu... 详细信息
来源: 评论
System Design for Enhanced Forward-Engineering Possibilities of Safety Critical Embedded Systems  17
System Design for Enhanced Forward-Engineering Possibilities...
收藏 引用
IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
作者: Krammer, Martin Karner, Michael Fuchs, Anton Virtual Vehicle Res Ctr Graz Austria
Due to the high overall complexity of embedded systems in the automotive domain, the concept and system design phases have shown to be important, as they lay the foundations for implementations. Therefore, front-loadi... 详细信息
来源: 评论
Application of two executable computer codes for confidence intervals, decision levels and detection limits when the sample is counted an integer times equal to or greater than the blank
收藏 引用
JOURNAL OF RADIOANALYTICAL AND NUCLEAR CHEMISTRY 2013年 第1期296卷 31-35页
作者: Potter, W. E. Strzelczyk, J. Univ Colorado Hosp Aurora CO 80045 USA
Poisson statistics are utilized throughout. The ratio of the sample count time to the blank count time is taken to be an integer. The expected blank count in the sample count time is assumed either known or well known... 详细信息
来源: 评论