咨询与建议

限定检索结果

文献类型

  • 59 篇 会议
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 45 篇 工学
    • 41 篇 计算机科学与技术...
    • 39 篇 软件工程
    • 3 篇 电气工程
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 控制科学与工程
    • 2 篇 农业工程
    • 1 篇 土木工程
    • 1 篇 矿业工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 8 篇 理学
    • 5 篇 数学
    • 1 篇 大气科学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 6 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 9 篇 application soft...
  • 7 篇 computer program...
  • 5 篇 embedded system
  • 5 篇 hardware
  • 4 篇 software systems
  • 4 篇 programming prof...
  • 4 篇 embedded softwar...
  • 3 篇 software enginee...
  • 3 篇 computer languag...
  • 3 篇 multiprocessing ...
  • 3 篇 software testing
  • 2 篇 object oriented ...
  • 2 篇 computer science
  • 2 篇 business applica...
  • 2 篇 software enginee...
  • 2 篇 operating system...
  • 2 篇 programming
  • 2 篇 meta-data
  • 2 篇 computer archite...
  • 2 篇 software tools

机构

  • 4 篇 department of pr...
  • 3 篇 dept. of program...
  • 2 篇 department of pr...
  • 1 篇 shanghai jiao to...
  • 1 篇 pacific nw natl ...
  • 1 篇 bussines school ...
  • 1 篇 college of dunau...
  • 1 篇 dept. of compute...
  • 1 篇 institute of sof...
  • 1 篇 software composi...
  • 1 篇 computer science...
  • 1 篇 eszterházy károl...
  • 1 篇 faculty of infor...
  • 1 篇 iit dept comp sc...
  • 1 篇 univ minnesota d...
  • 1 篇 univ new s wales...
  • 1 篇 listic universit...
  • 1 篇 lawrence livemor...
  • 1 篇 graduate school ...
  • 1 篇 computer science...

作者

  • 3 篇 porkoláb zoltán
  • 2 篇 pataki norbert
  • 2 篇 pócza krisztián
  • 2 篇 horvath zoltan
  • 1 篇 kenneth b. kent
  • 1 篇 fredlund lars-åk...
  • 1 篇 shehory onn
  • 1 篇 vartiala mikko
  • 1 篇 fei xie
  • 1 篇 zheng yudi
  • 1 篇 fornasier patric
  • 1 篇 lovei laszlo
  • 1 篇 christof kutsche...
  • 1 篇 canou benjamin
  • 1 篇 markstrum shane
  • 1 篇 marek lukáš
  • 1 篇 hartikainen vesa...
  • 1 篇 kiss ákos
  • 1 篇 mcintosh paul
  • 1 篇 lóki gábor

语言

  • 61 篇 英文
检索条件"任意字段=10th Symposium on Programming Languages and Software Tools, SPLST 2007"
61 条 记 录,以下是1-10 订阅
排序:
Proceedings of the 10th symposium on programming languages and software tools, splst 2007
Proceedings of the 10th Symposium on Programming Languages a...
收藏 引用
10th symposium on programming languages and software tools, splst 2007
the proceedings contain 38 papers. the topics discussed include: supporting design and development of safety critical applications by model based tools;subject-oriented operating system development based on system pre...
来源: 评论
Formal Verification of RISC-V Processor Chisel Designs  10th
Formal Verification of RISC-V Processor Chisel Designs
收藏 引用
10th International symposium on Dependable software Engineering: theories, tools and Applications, SETTA 2024
作者: Shen, Shidong Liu, Yicheng Zhang, Lijun Song, Fu Wu, Zhilin and State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China
Chisel is an open-source high-level hardware construction language embedded in Scala to facilitate parameterizable, reusable circuit design generators. It is becoming increasingly popular and has been used to design m... 详细信息
来源: 评论
Many-valued logic, normal forms
Many-valued logic, normal forms
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Varga, Katalin Pásztor Várterész, Magda Department of Programming Languages and Compilers Eötvös Loránd University Hungary Department of Computer Science University of Debrecen Hungary
Interpretation of the truth degrees. Suitable extension of the two-valued logical operations as conjunction, disjunction, implication, negation. Main directions (Post, Kleene, Lukasiewicz, Bochvar). Notion of assertab... 详细信息
来源: 评论
Goblint: Path-sensitive data race analysis
Goblint: Path-sensitive data race analysis
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Vojdani, Vesal Vene, Varmo Dept. of Computer Science University of Tartu J. Liivi 2 EE-50409 Tartu Estonia
We present Goblint, a static analyzer for detecting potential data races in the multithreaded C code. the implemented analysis is sound on a "safe" subset of C and sufficiently efficient to be used for race-... 详细信息
来源: 评论
Proposals for enlarging of the applications of CQL
Proposals for enlarging of the applications of CQL
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Kis, Piroska B. College of Dunaujvaros Institute of Mathematics Tancsics M. str. 1/a 2400 Dunaujvaros Hungary
the paper is devoted to draft the importance of the continuous queries over data streams and relation operations. A concrete language, CQL (for Continuous Query Language) based on SQL (for Structured Query Language) s... 详细信息
来源: 评论
Obfuscating C++ programs via control flow flattening
Obfuscating C++ programs via control flow flattening
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Laszlo, Tímea Kiss, Ákos Department of Software Engineering University of Szeged Árpád ter 2. H-6720 Szeged Hungary
Protecting a software from unauthorized access is an ever demanding task. thus, in this paper, we focus on the protection of source code by means of obfuscation and discuss the adaptation of a control flow transformat... 详细信息
来源: 评论
Towards detailed trace generation using the profiler in the .NET Framework
Towards detailed trace generation using the profiler in the ...
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Pócza, Krisztián Biczó, Mihály Porkoláb, Zoltán Dept. of Programming Languages Faculty of Informatics Eötvös Loránd University Pazmany Peter setany 1/C H-1117 Budapest Hungary
Effective runtime trace generation is vital for understanding, analyzing, and maintaining large-scale applications. In this paper an effective detailed runtime trace generation method is introduced for the .NET platfo... 详细信息
来源: 评论
Learning of Constraint Logic Programs by combining unfolding and slicing techniques
Learning of Constraint Logic Programs by combining unfolding...
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Kocsisné, Gyöngyi Szilágyi Department of Programming Languages and Compilers Eötvös Loránd University Hungary
this paper discusses learning of Constraint Logic Programs using unfolding and slicing technique. the transformation rule for unfolding together with clause removal is a method for specialization of (Constraint) Logic... 详细信息
来源: 评论
Improving the distributed elementwise processing implementation in D-Clean
Improving the distributed elementwise processing implementat...
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Zsok, Viktoria Hernyak, Zoltan Horvath, Zoltan Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University Pazmany Peter setany 1/C H-1117 Budapest Hungary Department of Information Technology Eszterházy Károly College Eszterházy tér 1 H-3300 Eger Hungary
the skeleton computing the distributed elementwise processing in D-Clean splits the input data, then applies an elementwise process-able function on the divided input, and finally composes the result from the already ... 详细信息
来源: 评论
programming without tears. On plane, or on bullock cart?
Programming without tears. On plane, or on bullock cart?
收藏 引用
10th symposium on programming languages and software tools, splst 2007
作者: Farkas, Károly Budapest Tech Polytechnical Institution John von Neumann Faculty of Informatics Bécsi út 96/b 1034 Budapest Hungary
I think that life-long playing is more important than life-long learning. the teaching of informatics may be playful and enjoyable on every level of education. Perhaps this can be the most enjoyable subject. Use the c... 详细信息
来源: 评论