Search results

• PAST
  |Title=IEEE International Symposium on Phased Array Systems and Technology ...advances, including MMIC, photonics, and digital beamforming, phased array systems and technology continue to progress rapidly.''
  1 KB (211 words) - 21:20, 1 April 2022
• MULTIPROG 2017
  ...mputer architecture, programming models, heterogeneous computing, run-time systems
  553 bytes (62 words) - 19:21, 1 April 2022
• RTAS 2020
  ...ld=Computer Hardware, Embedded Systems, Time-Sensitive systems, Real Time Systems |Has coordinator=IEEE, USENIX-The Advanced Computing Systems Association
  2 KB (318 words) - 20:07, 1 April 2022
• From Relational Data to RDFS Models
  ...ch to integration of relational-like information resources with RDFS-aware systems. The proposed solution is purely RDFS-based. We use RDF/S as a mechanism to ...into a single RDFS model and to deduct necessary entailments. A resulting run-time model allows to access the relational data with queries termed according to
  3 KB (412 words) - 13:48, 5 July 2018
• CAV 2021
  * Specifications and correctness criteria for programs and systems * Hybrid systems and embedded systems verification
  2 KB (188 words) - 20:16, 1 April 2022
• ESOP 2013
  ...s, denotational semantics, operational semantics, meta programming, module systems, language-based security; *Methods and tools for reasoning about programs: type systems, abstract interpretation, program verification, testing;
  2 KB (179 words) - 20:23, 1 April 2022
• RAW 2008
  Run-Time Reconfiguration & Adaptive Computing: Architectures, Algorithms, Technologi ...d new coarse-/multi-grain devices) appear to have more room for exploiting run-time reconfiguration (RTR). An appropriate mix of the theoretical foundations of
  4 KB (554 words) - 20:59, 1 April 2022
• TACAS 2011
  ...al Conference on Tools and Algorithms for the Construction and Analysis of Systems ...al Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011
  2 KB (210 words) - 20:25, 1 April 2022
• WISES 2008
  | Title = Sixth International Workshop on Intelligent Solutions in Embedded Systems | Field = Embedded systems
  3 KB (319 words) - 21:06, 1 April 2022
• CONCUR 2021
  ...re solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): ...stic systems, real-time systems, biology-inspired systems, and synchronous systems;
  2 KB (269 words) - 20:14, 1 April 2022
• ICPP 2017
  ...odels, languages, and environments; compilers; operating systems; run-time systems; resource management; performance modeling and evaluation<br>
  1 KB (163 words) - 19:40, 1 April 2022
• TACAS 2008
  *Specification and verification techniques for finite and infinite-state systems *Static and run-time analysis
  2 KB (204 words) - 20:25, 1 April 2022
• PACT 2008
  * Compilers and tools for parallel computer systems * Middleware and run-time system support for parallel computing
  2 KB (225 words) - 20:57, 1 April 2022
• REFSQ 2008
  ...ents Engineering (RE) sets the stage for quality, both at development- and run-time. In spite of the constant emergence of new technologies and developing para ...nt original work. Contributions from cognate areas such as formal methods, systems engineering, human and computer interaction, economics and management and s
  4 KB (506 words) - 20:59, 1 April 2022
• IPIN 2020
  * •Ultrasound Systems * •Optical Systems
  2 KB (229 words) - 20:02, 1 April 2022
• IEEE-ACM 2008
  | Title = Workshop on Streaming Systems: From Web and Enterprise to Multicore to architectures. Stream programming and streaming systems are gaining
  2 KB (214 words) - 20:48, 1 April 2022
• 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
• TACAS 2004
  ...al Conference on Tools and Algorithms for the Construction and Analysis of Systems ...al Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2004
  2 KB (301 words) - 20:25, 1 April 2022
• ASE 2020
  ...alysis, design, implementation, testing, and maintenance of large software systems.
  2 KB (281 words) - 20:00, 1 April 2022
• CAV 2020
  * Specifications and correctness criteria for programs and systems * Hybrid systems and embedded systems verification
  3 KB (356 words) - 20:16, 1 April 2022

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