Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241175348> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4241175348 abstract "Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present algorithms to automatically generate trace checkers from formulas written in the formal quantitative constraint language, Logic Of Constraints (LOC), to analyze the simulation traces for functional and performance constraint violations. For many interesting formulas, the checkers exhibit linear time complexity and constant memory usage. We illustrate the usefulness and efficiency of this approach with large designs and traces." @default.
- W4241175348 created "2022-05-12" @default.
- W4241175348 creator A5006764452 @default.
- W4241175348 creator A5008171524 @default.
- W4241175348 creator A5017063360 @default.
- W4241175348 creator A5066936795 @default.
- W4241175348 date "2004-03-02" @default.
- W4241175348 modified "2023-09-29" @default.
- W4241175348 title "Automatic trace analysis for logic of constraints" @default.
- W4241175348 doi "https://doi.org/10.1109/dac.2003.1219045" @default.
- W4241175348 hasPublicationYear "2004" @default.
- W4241175348 type Work @default.
- W4241175348 citedByCount "5" @default.
- W4241175348 countsByYear W42411753482013 @default.
- W4241175348 countsByYear W42411753482016 @default.
- W4241175348 countsByYear W42411753482021 @default.
- W4241175348 crossrefType "proceedings-article" @default.
- W4241175348 hasAuthorship W4241175348A5006764452 @default.
- W4241175348 hasAuthorship W4241175348A5008171524 @default.
- W4241175348 hasAuthorship W4241175348A5017063360 @default.
- W4241175348 hasAuthorship W4241175348A5066936795 @default.
- W4241175348 hasConcept C113775141 @default.
- W4241175348 hasConcept C11413529 @default.
- W4241175348 hasConcept C138885662 @default.
- W4241175348 hasConcept C199360897 @default.
- W4241175348 hasConcept C25016198 @default.
- W4241175348 hasConcept C2524010 @default.
- W4241175348 hasConcept C26713055 @default.
- W4241175348 hasConcept C2776036281 @default.
- W4241175348 hasConcept C2777027219 @default.
- W4241175348 hasConcept C28077239 @default.
- W4241175348 hasConcept C33923547 @default.
- W4241175348 hasConcept C41008148 @default.
- W4241175348 hasConcept C41895202 @default.
- W4241175348 hasConcept C4777664 @default.
- W4241175348 hasConcept C75291252 @default.
- W4241175348 hasConcept C80444323 @default.
- W4241175348 hasConceptScore W4241175348C113775141 @default.
- W4241175348 hasConceptScore W4241175348C11413529 @default.
- W4241175348 hasConceptScore W4241175348C138885662 @default.
- W4241175348 hasConceptScore W4241175348C199360897 @default.
- W4241175348 hasConceptScore W4241175348C25016198 @default.
- W4241175348 hasConceptScore W4241175348C2524010 @default.
- W4241175348 hasConceptScore W4241175348C26713055 @default.
- W4241175348 hasConceptScore W4241175348C2776036281 @default.
- W4241175348 hasConceptScore W4241175348C2777027219 @default.
- W4241175348 hasConceptScore W4241175348C28077239 @default.
- W4241175348 hasConceptScore W4241175348C33923547 @default.
- W4241175348 hasConceptScore W4241175348C41008148 @default.
- W4241175348 hasConceptScore W4241175348C41895202 @default.
- W4241175348 hasConceptScore W4241175348C4777664 @default.
- W4241175348 hasConceptScore W4241175348C75291252 @default.
- W4241175348 hasConceptScore W4241175348C80444323 @default.
- W4241175348 hasLocation W42411753481 @default.
- W4241175348 hasOpenAccess W4241175348 @default.
- W4241175348 hasPrimaryLocation W42411753481 @default.
- W4241175348 hasRelatedWork W127483730 @default.
- W4241175348 hasRelatedWork W1565492074 @default.
- W4241175348 hasRelatedWork W2081369054 @default.
- W4241175348 hasRelatedWork W2110468917 @default.
- W4241175348 hasRelatedWork W2222670347 @default.
- W4241175348 hasRelatedWork W2256753787 @default.
- W4241175348 hasRelatedWork W2523467757 @default.
- W4241175348 hasRelatedWork W2931443989 @default.
- W4241175348 hasRelatedWork W3161745424 @default.
- W4241175348 hasRelatedWork W4221159966 @default.
- W4241175348 isParatext "false" @default.
- W4241175348 isRetracted "false" @default.
- W4241175348 workType "article" @default.