Search results

Create the page "Run-time systems" on this wiki! See also the search results found.

• EMNLP 2020
  *Dialogue and Interactive Systems
  5 KB (612 words) - 10:41, 2 June 2020
• TACAS 2009
  ...al Conference on Tools and Algorithms for the Construction and Analysis of Systems ...liability, flexibility and efficiency of tools and algorithms for building systems.
  4 KB (543 words) - 16:39, 16 July 2020
• AISB 2009
  Kerstin Dautenhahn, Adaptive Systems Research Group, School of Computer Science, University of Hertfordshire, UK
  7 KB (1,033 words) - 16:35, 9 October 2020
• ACL 2008 SRW 2008
  - spoken and written natural language interfaces, dialogue systems - multi-modal language processing, multimedia systems
  14 KB (1,896 words) - 17:00, 29 May 2016
• AMTA 2008
  ...first-rate research that defines the cutting edge of future translations systems; case studies on practical uses of current translation systems in government and industry;
  16 KB (2,200 words) - 20:51, 18 February 2021
• CIDR 2009
  |Title=Fourth Biennial Conference on Innovative Data Systems Research ...data management for e-science, data management in networks, self-managing systems, benchmarking and experimental methodology.
  5 KB (701 words) - 17:08, 18 February 2021
• SEKE 2008
  # security technology and systems # Software Engineering of Autonomic Grid Computing Systems and Applications
  6 KB (733 words) - 12:48, 27 October 2016
• PLDI 2009
  - Type systems and program logics - Debugging techniques and tools - Interaction of compilers and run-time systems with underlying systems
  5 KB (667 words) - 14:18, 25 November 2016
• CAV 2020
  * Specifications and correctness criteria for programs and systems * Hybrid systems and embedded systems verification
  2 KB (291 words) - 11:09, 20 November 2020
• PLDI 2008
  ...l language designs, innovative and creative approaches to compile-time and run-time technology, and results from experimental studies of actual implementations * Type systems and program logics
  5 KB (678 words) - 20:58, 26 November 2016
• SOFSEM 2009
  * software engineering of service oriented systems * game theoretic aspects of trading agent systems
  6 KB (682 words) - 10:18, 14 April 2020
• HASE 2008
  | Title = IEEE 11th International Symposium on High-Assurance Systems Engineering ...on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.
  6 KB (748 words) - 14:43, 27 December 2015
• SemPub2016
  ** [[has general chair::Christoph Lange]], Enterprise Information Systems, University of Bonn / Fraunhofer IAIS, DE
  6 KB (834 words) - 19:29, 1 June 2016
• Special Issue: T. F. Evolut. Comp. (Yao) 2009
  The theory of evolutionary computation (including, for example, run-time evolution, culture algorithms, artificial immune systems, etc. This special
  3 KB (446 words) - 16:30, 5 July 2020
• CORCS 2009
  ...E International Workshop on Component-Based Design of Resource-Constrained Systems Resource-Constrained Systems
  4 KB (504 words) - 16:43, 27 December 2015
• RTAS 2020
  ...ld=Computer Hardware, Embedded Systems, Time-Sensitive systems, Real Time Systems |Has coordinator=IEEE, USENIX-The Advanced Computing Systems Association
  2 KB (312 words) - 10:13, 8 October 2020
• MDE4NAS 2012
  |Title=Workshop on Model-Driven Engineering for Networked Ambient Systems |Superevent=3rd International Conference on Ambient Systems, Networks and Technologies
  5 KB (598 words) - 17:05, 24 February 2016
• ASE 2020
  ...alysis, design, implementation, testing, and maintenance of large software systems.
  2 KB (275 words) - 08:55, 13 July 2020
• ICPP 2019
  ...g Models, Languages & Environments, Compilers, Operating Systems, Run-Time Systems, Resource Management <br>
  3 KB (335 words) - 11:49, 23 July 2019
• MULTIPROG 2017
  ...mputer architecture, programming models, heterogeneous computing, run-time systems
  498 bytes (57 words) - 13:47, 25 September 2016

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)