Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
![]() |
Anime face recognition to create awarenessA-masiri, Pimpakarn ; Kerdvibulvech, ChutisantInternational journal of information technology (Singapore. Online), 2023-10, Vol.15 (7), p.3507-3512Singapore: Springer Nature SingaporeFull text available |
2 |
Material Type: Article
|
![]() |
Software process improvement: Blueprints versus recipesAaen, I.IEEE software, 2003-09, Vol.20 (5), p.86-93 [Peer Reviewed Journal]Los Alamitos: IEEEFull text available |
3 |
Material Type: Conference Proceeding
|
![]() |
Reviews in Innovative Software Development--The Gauntlet GameAaen, I. ; Boelsmand, J.V. ; Jensen, R. ; Saxov, M.2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008, p.1234-1239IEEEFull text available |
4 |
Material Type: Article
|
![]() |
Essence: facilitating software innovationAaen, IvanEuropean journal of information systems, 2008-10, Vol.17 (5), p.543-553 [Peer Reviewed Journal]London: Palgrave Macmillan UKFull text available |
5 |
Material Type: Article
|
![]() |
Verifying a logic-synthesis algorithm and implementation: a case study in software verificationAagaard, M. ; Leeser, M.IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Peer Reviewed Journal]New York, NY: IEEEFull text available |
6 |
Material Type: Book Chapter
|
![]() |
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D. Geist, Daniel ; Tronci, EnricoCorrect Hardware Design and Verification Methods, 2003, p.66-80 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
7 |
Material Type: Article
|
![]() |
A framework for superscalar microprocessor correctness statementsAAGAARD, Mark D ; COOK, Byron ; DAY, Nancy A ; JONES, Robert BInternational journal on software tools for technology transfer, 2003-05, Vol.4 (3), p.298-312 [Peer Reviewed Journal]Berlin: SpringerFull text available |
8 |
Material Type: Book
|
![]() |
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, ProceedingsAagaard, Mark D ; O'Leary, John W Aagaard, Mark D. ; O’Leary, John W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
9 |
Material Type: Book
|
![]() |
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 ProceedingsAagaard, Mark ; Harrison, John Harrison, John ; Aagaard, MarkBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Full text available |
10 |
Material Type: Conference Proceeding
|
![]() |
Managing software evolution with a formalized abstraction hierarchyAaltonen, T. ; Mikkonen, T.Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings, 2002, p.224-231IEEEFull text available |