Search results

Create the page "Models and tools" on this wiki! See also the search results found.

• ARES 2009
  |Title=The Forth International Conference on Availability, Reliability and Security |Field=Computer security and reliability
  4 KB (487 words) - 10:42, 21 August 2020
• ARES 2008
  |Title=Third International Conference on Availability, Reliability and Security |Field=Computer security and reliability
  6 KB (689 words) - 10:39, 21 August 2020
• VISAPP 2009
  |Title=4th International Conference on Computer Vision Theory and Applications (VISAPP) ...y INSTICC - Institute for Systems and Technologies of Information, Control and Communication.
  6 KB (872 words) - 11:31, 21 February 2020
• VISAPP 2008
  |Title=International Conference on Computer Vision Theory and Applications ...ion, from Image Formation to Image Understanding including Motion Analysis and Stereo Vision.
  4 KB (568 words) - 11:31, 21 February 2020
• ICS 2008
  ...Kos, which combines ancient history (it is the birthplace of Hippocrates) and the magnificent natural beauty of the Aegean islands. ...on all aspects of research, development, and application of supercomputing and high-performance systems, including but not limited to:
  2 KB (308 words) - 11:46, 20 October 2016
• BLSMC 2008
  ...= IEEE International Symposium on Bioinformatics and Life Science Modeling and Computing ...eing solved, and biology papers should show the enhancement of computation tools.
  3 KB (454 words) - 16:54, 27 December 2015
• PLDI 2009
  |Title=ACM SIGPLAN Conference on Programming Language Design and Implementation ...compile-time and runtime technology; novel language designs and features; and results from implementations.
  5 KB (667 words) - 14:18, 25 November 2016
• CAV 2020
  ...marily through Zoom and Slack for attendees. Some sessions (e.g., keynotes and tutorials) will also be live streamed on YouTube. * Algorithms and tools for verifying models and implementations
  2 KB (291 words) - 11:09, 20 November 2020
• PLDI 2008
  | Title = PLDI 08 - ACM SIGPLAN Conference on Programming Language Design and Implementation ...nnovative and creative approaches to compile-time and run-time technology, and results from experimental studies of actual implementations.
  5 KB (678 words) - 20:58, 26 November 2016
• SOFSEM 2009
  |Title=Current Trends in Theory and Practice of Computer Science Current Trends in Theory and Practice of Computer Science
  6 KB (682 words) - 10:18, 14 April 2020
• HASE 2008
  | Field = Computer security and reliability ...odels for high assurance systems development, verification and validation, and assessment are welcome.
  6 KB (748 words) - 14:43, 27 December 2015
• MODELS 2009
  |Acronym=MODELS 2009 ...IEEE 12th International Conference on Model Driven Engineering Languages and Systems
  2 KB (208 words) - 17:05, 24 February 2016
• WISE 2009
  ...a (2004), New York, USA (2005), Wuhan, China (2006), Nancy, France (2007), and Auckland, New Zealand (2008). Complex Event Processing and Event-driven Systems
  2 KB (240 words) - 17:46, 21 July 2016
• SBMF 2009
  CALL FOR PAPERS AND TUTORIALS dissemination of the development and use of formal methods for the
  7 KB (1,094 words) - 11:42, 29 September 2016
• CORCS 2009
  Aims and Scope state-of-the-art, research and development in the area of resource
  4 KB (504 words) - 16:43, 27 December 2015
• DAH 2009
  ...Workshop on Dynamic and Adaptive Hypertext: Generic Frameworks, Approaches and Techniques DAH-09: International Workshop on Dynamic and Adaptive
  5 KB (644 words) - 15:16, 16 December 2020
• VISAPP 2010
  |Title=5th International Conference on Computer Vision Theory and Applications 5th International Conference on Computer Vision Theory and Applications (VISAPP)
  5 KB (595 words) - 11:32, 21 February 2020
• BIR 2020
  * Business, IT People and System Responsibilities * Philosophical and social perspectives
  4 KB (571 words) - 12:58, 9 March 2020
• IJCSIS 20092
  |Title=International Journal of Computer Science and Information Security International Journal of Computer Science and Information Security
  5 KB (578 words) - 10:21, 20 November 2020
• SimpleScalar
  ...performance visualization tools, statistical analysis resources, and debug and verification infrastructure. ...e, making it possible for users extend SimpleScalar, and to adapt existing models to their own ideas.
  2 KB (210 words) - 12:17, 7 April 2016

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