skip to main content
Results 1 2 3 4 5 next page
Refined by: subject: Software Engineering remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Anime face recognition to create awareness
Material Type:
Article
Add to e-Shelf

Anime face recognition to create awareness

A-masiri, Pimpakarn ; Kerdvibulvech, Chutisant

International journal of information technology (Singapore. Online), 2023-10, Vol.15 (7), p.3507-3512

Singapore: Springer Nature Singapore

Full text available

2
Software process improvement: Blueprints versus recipes
Material Type:
Article
Add to e-Shelf

Software process improvement: Blueprints versus recipes

Aaen, I.

IEEE software, 2003-09, Vol.20 (5), p.86-93 [Peer Reviewed Journal]

Los Alamitos: IEEE

Full text available

3
Reviews in Innovative Software Development--The Gauntlet Game
Material Type:
Conference Proceeding
Add to e-Shelf

Reviews in Innovative Software Development--The Gauntlet Game

Aaen, I. ; Boelsmand, J.V. ; Jensen, R. ; Saxov, M.

2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008, p.1234-1239

IEEE

Full text available

4
Essence: facilitating software innovation
Material Type:
Article
Add to e-Shelf

Essence: facilitating software innovation

Aaen, Ivan

European journal of information systems, 2008-10, Vol.17 (5), p.543-553 [Peer Reviewed Journal]

London: Palgrave Macmillan UK

Full text available

5
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
Material Type:
Article
Add to e-Shelf

Verifying a logic-synthesis algorithm and implementation: a case study in software verification

Aagaard, M. ; Leeser, M.

IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Peer Reviewed Journal]

New York, NY: IEEE

Full text available

6
A Hazards-Based Correctness Statement for Pipelined Circuits
Material Type:
Book Chapter
Add to e-Shelf

A Hazards-Based Correctness Statement for Pipelined Circuits

Aagaard, Mark D. Geist, Daniel ; Tronci, Enrico

Correct Hardware Design and Verification Methods, 2003, p.66-80 [Peer Reviewed Journal]

Berlin, Heidelberg: Springer Berlin Heidelberg

Full text available

7
A framework for superscalar microprocessor correctness statements
Material Type:
Article
Add to e-Shelf

A framework for superscalar microprocessor correctness statements

AAGAARD, Mark D ; COOK, Byron ; DAY, Nancy A ; JONES, Robert B

International journal on software tools for technology transfer, 2003-05, Vol.4 (3), p.298-312 [Peer Reviewed Journal]

Berlin: Springer

Full text available

8
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings
Material Type:
Book
Add to e-Shelf

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings

Aagaard, Mark D ; O'Leary, John W Aagaard, Mark D. ; O’Leary, John W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Full text available

9
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Material Type:
Book
Add to e-Shelf

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings

Aagaard, Mark ; Harrison, John Harrison, John ; Aagaard, Mark

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Full text available

10
Managing software evolution with a formalized abstraction hierarchy
Material Type:
Conference Proceeding
Add to e-Shelf

Managing software evolution with a formalized abstraction hierarchy

Aaltonen, T. ; Mikkonen, T.

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings, 2002, p.224-231

IEEE

Full text available

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Articles  (33,717)
  2. Conference Proceedings  (17,916)
  3. Books  (4,835)
  4. Book Chapters  (4,059)
  5. magazinearticle  (963)
  6. Datasets  (873)
  7. Videos  (351)
  8. Reports  (335)
  9. Images  (192)
  10. Dissertations  (42)
  11. Newsletter Articles  (40)
  12. Reviews  (30)
  13. Text Resources  (15)
  14. Newspaper Articles  (9)
  15. Reference Entries  (6)
  16. Web Resources  (1)
  17. More options open sub menu

Subject 

  1. Computer Science  (50,621)
  2. Science & Technology  (40,153)
  3. Technology  (39,679)
  4. Computer Science, Software Engineering  (26,393)
  5. Software  (24,469)
  6. Exact Sciences And Technology  (15,675)
  7. Applied Sciences  (15,619)
  8. Computer Science; Control Theory; Systems  (15,451)
  9. Computer Science, Theory & Methods  (11,783)
  10. Engineering  (11,729)
  11. Artificial Intelligence  (10,011)
  12. Engineering, Electrical & Electronic  (7,759)
  13. Computer Science, Information Systems  (6,858)
  14. Studies  (6,199)
  15. Information Systems Applications  (5,437)
  16. Algorithms  (5,382)
  17. Software Engineering/programming And Operating Systems  (5,316)
  18. Programming Languages  (5,312)
  19. Computer Science, Hardware & Architecture  (4,909)
  20. Computer Software  (2,784)
  21. Software Engineering–Congresses  (27)
  22. Engenharia De Software  (27)
  23. Engenharia De Software  (18)
  24. Engenharia De Programas  (13)
  25. Expert Systems (Computer Science)  (11)
  26. Object-Oriented Programming (Computer Science)  (9)
  27. Programação Orientada A Objetos  (8)
  28. Programação Orientada A Objetos  (7)
  29. Computer Software  (7)
  30. Abstract Data Types (Computer Science)  (6)
  31. Especificação De Sistemas E Programas (Congressos)  (5)
  32. G Enie Logiciel  (5)
  33. Uml (Computer Science)  (5)
  34. Formal Methods (Computer Science)  (5)
  35. Ciência Da Computação  (4)
  36. Técnicas De Programação  (4)
  37. Ciência Da Computação (Congressos)  (4)
  38. Técnicas De Programação  (4)
  39. Sistemas De Informação  (4)
  40. Desenvolvimento De Software  (3)
  41. Object-Oriented Methods (Computer Science)  (3)
  42. Sistemas De Informação  (3)
  43. Ciência Da Computação  (2)
  44. More options open sub menu

Creation Date 

From To
  1. Before1981  (243)
  2. 1981To1991  (2,925)
  3. 1992To2002  (12,182)
  4. 2003To2014  (28,444)
  5. After 2014  (21,405)
  6. More options open sub menu

Language 

  1. English  (63,253)
  2. Japanese  (1,414)
  3. Spanish  (104)
  4. Portuguese  (103)
  5. German  (87)
  6. French  (71)
  7. Chinese  (11)
  8. Norwegian  (10)
  9. Italian  (5)
  10. Czech  (2)
  11. Catalan  (2)
  12. Swedish  (2)
  13. Undetermined  (1)
  14. Arabic  (1)
  15. Russian  (1)
  16. Turkish  (1)
  17. Ukrainian  (1)
  18. Croatian  (1)
  19. Welsh  (1)
  20. Afrikaans  (1)
  21. More options open sub menu

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far