Search results

• FSTTCS 2021
  |Title=41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Algorithms and Data Structures
  2 KB (181 words) - 20:17, 1 April 2022
• SAMOS 2008
  ...rnational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation Architectures, MOdeling and Simulation
  3 KB (278 words) - 21:00, 1 April 2022
• EURASIP Journal on Embedded Systems 2009
  ...ed Systems, Special Issue on Formal Techniques for Embedded Systems Design and Validation ...dded systems are also safety-critical requiring high degree of reliability and fault tolerance. Examples
  4 KB (459 words) - 20:40, 1 April 2022
• FCT 2005
  * automata and formal languages * design and analysis of algorithms
  2 KB (166 words) - 20:17, 1 April 2022
• SAM 2016
  |Title=9th System Analysis and Modelling Conference |Series=System Analysis and Modeling
  2 KB (271 words) - 19:08, 1 April 2022
• PPDP 2008
  | Title = Principles and Practice of Declarative Programming | Field = Programming languages
  4 KB (454 words) - 20:58, 1 April 2022
• SEKE 2016
  |Title=28th International Conference on Software Engineering and Knowledge Engineering * Embedded and ubiquitous software engineering
  4 KB (497 words) - 19:54, 1 April 2022
• FASE 2013
  ...e engineering as an engineering discipline, including its interaction with and impact on society; *Requirements engineering: capture, consistency, and change management of software requirements;
  2 KB (251 words) - 20:24, 1 April 2022
• FCT 2009
  ...alysis of algorithms; computational complexity; approximation, randomized, and ...uting; circuits and boolean functions; online algorithms; machine learning and artificial
  2 KB (290 words) - 20:17, 1 April 2022
• FASE 2005
  *Component-based software architectures: design methods and strategies, design patterns, quality assurance ...t in large scale systems, continuous software engineering, and improvement and adaptation of legacy systems to altered requirements.
  3 KB (396 words) - 20:24, 1 April 2022
• FDL 2010
  |Title=Forum on specification & Design Languages |Field=specification and design languages
  8 KB (1,118 words) - 19:03, 1 April 2022
• ICKSE 2016
  |Title=18th International Conference on Knowledge and Software Engineering ...he conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interes
  3 KB (357 words) - 19:20, 1 April 2022
• FCT 2011
  * algorithm design and optimization * combinatorics and analysis of algorithms
  3 KB (334 words) - 20:17, 1 April 2022
• SEKE 2018
  |Title=30th International Conference on Software Engineering and Knowledge Engineering ...ART COMPLETELY - You can just paste in the call for papers and remove this and the last line
  5 KB (615 words) - 19:54, 1 April 2022
• CENICS 2021
  |Title=International Conference on Advances in Circuits, Electronics and Micro-electronics ...ll structured mobile networks; Heterogeneous optical networks; 5G wireless and mm-Wave systems; Cognitive radars; Signal processing for crowd dynamics; Sm
  5 KB (563 words) - 20:10, 1 April 2022
• FCT 2007
  *automata and formal languages *design and analysis of algorithms
  2 KB (255 words) - 20:17, 1 April 2022
• ISORC 2008
  | Title = 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing ...eries, this paradigm emphasizes its spirit of openness where diverse views and new approaches to challenging issues can be freely discussed.
  3 KB (380 words) - 20:50, 1 April 2022
• ICALP 2019
  |Title=46th International Colloquium on Automata, Languages, and Programming The 46th International Colloquium on Automata, Languages, and Programming (ICALP) 2019
  4 KB (563 words) - 20:03, 1 April 2022
• MEMOCODE 2008
  | Title = Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign Formal Methods and Models for Codesign
  4 KB (529 words) - 20:54, 1 April 2022
• ICEIS 20102
  ...ystems Analysis and Specification, Internet Computing, Electronic Commerce and Human Factors. 1. Databases and Information Systems Integration
  5 KB (554 words) - 19:02, 1 April 2022

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