咨询与建议

限定检索结果

文献类型

  • 156 篇 会议
  • 14 篇 期刊文献
  • 7 册 图书

馆藏范围

  • 175 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 146 篇 工学
    • 138 篇 计算机科学与技术...
    • 100 篇 软件工程
    • 13 篇 电气工程
    • 13 篇 信息与通信工程
    • 10 篇 控制科学与工程
    • 5 篇 土木工程
    • 3 篇 化学工程与技术
    • 2 篇 建筑学
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 测绘科学与技术
    • 1 篇 轻工技术与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
  • 56 篇 理学
    • 52 篇 数学
    • 6 篇 统计学(可授理学、...
    • 4 篇 化学
    • 4 篇 生物学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 大气科学
    • 1 篇 地球物理学
  • 10 篇 管理学
    • 9 篇 图书情报与档案管...
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 11 篇 semantics
  • 9 篇 computer softwar...
  • 7 篇 software enginee...
  • 7 篇 system analysis
  • 6 篇 artificial intel...
  • 5 篇 model checking
  • 4 篇 data structures
  • 4 篇 congresses.
  • 3 篇 computer science
  • 3 篇 formal languages
  • 3 篇 specifications
  • 3 篇 differentiation ...
  • 2 篇 program debuggin...
  • 2 篇 mobile computati...
  • 2 篇 congruence resul...
  • 2 篇 formal logic
  • 2 篇 computational co...
  • 2 篇 fault tolerance
  • 2 篇 computability an...
  • 2 篇 routing expressi...

机构

  • 4 篇 max planck inst ...
  • 3 篇 max planck inst ...
  • 3 篇 univ leicester d...
  • 2 篇 department of co...
  • 2 篇 univ sci & tech ...
  • 2 篇 univ london impe...
  • 2 篇 univ bologna dip...
  • 2 篇 cwi dept softwar...
  • 2 篇 univ warwick dep...
  • 2 篇 queen mary univ ...
  • 2 篇 rhein westfal th...
  • 2 篇 tel aviv univ sc...
  • 2 篇 univ oxford dept...
  • 2 篇 imdea software i...
  • 2 篇 univ paris 07 li...
  • 2 篇 univ london quee...
  • 2 篇 liacs leiden uni...
  • 2 篇 univ illinois ch...
  • 2 篇 rhein westfal th...
  • 1 篇 univ bologna dep...

作者

  • 3 篇 zavattaro g
  • 3 篇 uustalu tarmo
  • 3 篇 chistikov dmitry
  • 3 篇 o'hearn p
  • 2 篇 ulidowski irek
  • 2 篇 rabinovich alexa...
  • 2 篇 busi n
  • 2 篇 sagiv mooly
  • 2 篇 haase christoph
  • 2 篇 furio honsell
  • 2 篇 kurz alexander
  • 2 篇 aceto luca
  • 2 篇 pfenning frank
  • 2 篇 boneva i
  • 2 篇 plump detlef
  • 2 篇 mogens nielsen
  • 2 篇 meyer antoine
  • 2 篇 phillips iain
  • 2 篇 schmuck anne-kat...
  • 2 篇 bonsangue marcel...

语言

  • 168 篇 英文
  • 5 篇 其他
  • 4 篇 中文
检索条件"任意字段=4th International Conference on Foundations of Software Science and Computation Structures"
177 条 记 录,以下是61-70 订阅
排序:
Wisent: Robust Downstream Communication and Storage for computational RFIDs  35
Wisent: Robust Downstream Communication and Storage for Comp...
收藏 引用
35th IEEE Annual international conference on Computer Communications (IEEE INFOCOM)
作者: Tan, Jethro Pawelczak, Przemyslaw Parks, Aaron Smith, Joshua R. Delft Univ Technol Mekelweg 4 NL-2628 CD Delft Netherlands Univ Washington Seattle WA 98195 USA
computational RFID (CRFID) devices are emerging platforms that can enable perennial computation and sensing by eliminating the need for batteries. Although much research has been devoted to improving upstream (CRFID t...
来源: 评论
foundations of Differential Dataflow  18th
Foundations of Differential Dataflow
收藏 引用
18th international conference on foundations of software science and computation structures (FoSSaCS)
作者: Abadi, Martin McSherry, Frank Plotkin, Gordon D. Microsoft Res Redmond WA USA Univ Edinburgh Sch Informat LFCS Edinburgh EH8 9YL Midlothian Scotland
Differential dataflow is a recent approach to incremental computation that relies on a partially ordered set of differences. In the present paper, we aim to develop its foundations. We define a small programming langu... 详细信息
来源: 评论
On the sensitivity conjecture for disjunctive normal forms  36
On the sensitivity conjecture for disjunctive normal forms
收藏 引用
36th IARCS Annual conference on foundations of software Technology and theoretical Computer science, FSTTCS 2016
作者: Karthik, C.S. Tavenas, Sébastien Weizmann Institute of Science Israel Microsoft Research India
the sensitivity conjecture of Nisan and Szegedy [CC'94] asks whether for any Boolean function f, the maximum sensitivity s(f), is polynomially related to its block sensitivity bs(f), and hence to other major compl... 详细信息
来源: 评论
Step-Indexed Logical Relations for Probability  18th
Step-Indexed Logical Relations for Probability
收藏 引用
18th international conference on foundations of software science and computation structures (FoSSaCS)
作者: Bizjak, Ales Birkedal, Lars Aarhus Univ DK-8000 Aarhus C Denmark
It is well-known that constructing models of higher-order probabilistic programming languages is challenging. We show how to construct step-indexed logical relations for a probabilistic extension of a higher-order pro... 详细信息
来源: 评论
Robust Multidimensional Mean-Payoff Games are Undecidable  18th
Robust Multidimensional Mean-Payoff Games are Undecidable
收藏 引用
18th international conference on foundations of software science and computation structures (FoSSaCS)
作者: Velner, Yaron Tel Aviv Univ Blavatnik Sch Comp Sci IL-69978 Tel Aviv Israel
Mean-payoff games play a central role in quantitative synthesis and verification. In a single-dimensional game a weight is assigned to every transition and the objective of the protagonist is to assure a non-negative ... 详细信息
来源: 评论
Fragments of ML Decidable by Nested Data Class Memory Automata  18th
Fragments of ML Decidable by Nested Data Class Memory Automa...
收藏 引用
18th international conference on foundations of software science and computation structures (FoSSaCS)
作者: Cotton-Barratt, Conrad Hopkins, David Murawski, Andrzej S. Ong, C. -H. Luke Univ Oxford Dept Comp Sci Oxford OX1 2JD England Univ Warwick Dept Comp Sci Coventry CV4 7AL W Midlands England
the call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a "bad variable" construct in the sense of Reynolds. We consider the fragment of... 详细信息
来源: 评论
Knowledge = Observation + Memory + computation  18th
Knowledge = Observation + Memory + Computation
收藏 引用
18th international conference on foundations of software science and computation structures, FoSSaCS 2015 Held as Part of the European Joint conferences on theory and Practice of software, ETAPS 2015
作者: Genest, Blaise Peled, Doron Schewe, Sven CNRS IRISA Rennes France Bar Ilan University Israel University of Liverpool United Kingdom
We compare three notions of knowledge in concurrent system: memoryless knowledge, knowledge of perfect recall, and causal knowledge. Memoryless knowledge is based only on the current state of a process, knowledge of p... 详细信息
来源: 评论
Resource Reachability Games on Pushdown Graphs
收藏 引用
17th international conference on the foundations of software science and computation structures (FOSSACS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Lang, Martin Rhein Westfal TH Aachen Lehrstuhl Informat 7 D-52056 Aachen Germany
We consider two-player reachability games with additional resource counters on arenas that are induced by the configuration graphs of pushdown systems. For a play, we define the resource cost to be the highest occurri... 详细信息
来源: 评论
foundations for Decision Problems in Separation Logic with General Inductive Predicates
收藏 引用
17th international conference on the foundations of software science and computation structures (FOSSACS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Antonopoulos, Timos Gorogiannis, Nikos Haase, Christoph Kanovich, Max Ouaknine, Joel Univ Oxford Dept Comp Sci Oxford England Middlesex Univ London Dept Comp Sci London England CNRS LSV Paris France Ecole Normale Super ENS Cachan Cachan France Queen Mary Univ London Dept Comp Sci London England
We establish foundational results on the computational complexity of deciding entailment in Separation Logic with general inductive predicates whose underlying base language allows for pure formulas, pointers and exis... 详细信息
来源: 评论
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes
收藏 引用
17th international conference on the foundations of software science and computation structures (FOSSACS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Fu, Hongfei Rhein Westfal TH Aachen Lehrstuhl Informat 2 Aachen Germany
In this paper, we consider multi-dimensional maximal costbounded reachability probability over continuous-time Markov decision processes (CTMDPs). Our major contributions are as follows. Firstly, we derive an integral... 详细信息
来源: 评论