Skip navigation
  • Home
  • Browse
    • Communities
      & Collections
    • Browse Items by:
    • Publication Date
    • Author
    • Title
    • Subject
    • Department
  • Sign on to:
    • My MacSphere
    • Receive email
      updates
    • Edit Profile


McMaster University Home Page
  1. MacSphere

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 

Results 1-10 of 62 (Search time: 0.002 seconds).
  • previous
  • 1
  • 2
  • 3
  • 4
  • ...
  • 7
  • next
Item hits:
Publication DateTitleAuthor(s)
Jan-2011FASCS: A Family Approach for Developing Scientific Computing SoftwareYu, Wen
Feb-2006A Propositional Proof System with Permutation QuantifiersPaterson, Tim
Apr-2006Towards Automated Construction of Tabular ExpressionsWang, Yazhi
Dec-2005Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model CheckingPantelic, Vera
3-May-2005Design of a Configurable Alternate Fuel Injection ControllerDagenais, Kevin
Sep-2006Queueing Networks with Limited FlexibilityLiuxing, Kan
2006Multi-view Software Architecture ReconstructionDezhkam, Nima
Apr-2005Documentation and Tools to Support Worst Case Execution Time AnalysisSun, Jian
Sep-2005Implementation of Pattern Matching Calculus Using Type-Indexed ExpressionsJi, Xiaoheng
18-Aug-2005Symbolic Interpretation of Legacy Assembly LanguageChowdhury, Pulak Kumar

Discover

Author
  • 2 Yu, Wen
  • 1 Abughannam, Sahar
  • 1 Ahmadi, Mahnaz
  • 1 Almabruk, Tahani
  • 1 Cao, Shiqi
  • 1 Chen, Gang
  • 1 Chen, Huarong
  • 1 Chowdhury, Pulak Kumar
  • 1 Cui, Xiao-Lei
  • 1 Dagenais, Kevin
  • . next >
Subject
  • 2 software development
  • 1 Aided Sphere
  • 1 algebras
  • 1 Analysis
  • 1 approximation methods, clustering...
  • 1 architecture, software, evolution...
  • 1 automatic index analysis, differe...
  • 1 CHRs
  • 1 Coloured Petri Nets
  • 1 colourful feasibility, algorithms...
  • . next >
Date issued
  • 2 2010 - 2017
  • 60 2004 - 2009
Sherman Centre for Digital Scholarship     McMaster University Libraries
©2022 McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 4L8 | 905-525-9140 | Contact Us | Terms of Use & Privacy Policy | Feedback

Report Accessibility Issue