Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Software process improvement: Blueprints versus recipesAaen, I.IEEE software, 2003-09, Vol.20 (5), p.86-93 [Periódico revisado por pares]Los Alamitos: IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
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 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
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 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
PRISMS: An Integrated, Open-Source Framework for Accelerating Predictive Structural Materials ScienceAagesen, L. K. ; Adams, J. F. ; Allison, J. E. ; Andrews, W. B. ; Araullo-Peters, V. ; Berman, T. ; Chen, Z. ; Daly, S. ; Das, S. ; DeWitt, S. ; Ganesan, S. ; Garikipati, K. ; Gavini, V. ; Githens, A. ; Hedstrom, M. ; Huang, Z. ; Jagadish, H. V. ; Jones, J. W. ; Luce, J. ; Marquis, E. A. ; Misra, A. ; Montiel, D. ; Motamarri, P. ; Murphy, A. D. ; Natarajan, A. R. ; Panwar, S. ; Puchala, B. ; Qi, L. ; Rudraraju, S. ; Sagiyama, K. ; Solomon, E. L. S. ; Sundararaghavan, V. ; Tarcea, G. ; Teichert, G. H. ; Thomas, J. C. ; Thornton, K. ; Van der Ven, A. ; Wang, Z. ; Weymouth, T. ; Yang, C.JOM (1989), 2018-10, Vol.70 (10), p.2298-2314 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
5 |
Material Type: magazinearticle
|
![]() |
Trespass, nuisance, and spam: 11th century common law meets the internetAALBERTS, Robert J ; POON, Percy S ; THISTLE, Paul DCommunications of the ACM, 2007-12, Vol.50 (12), p.40-45New York, NY: Association for Computing MachineryTexto completo disponível |
6 |
Material Type: magazinearticle
|
![]() |
The threat of long-arm jurisdiction to electronic commerceAalberts, Robert J ; Townsend, Anthony M ; Whitman, Michael ECommunications of the ACM, 1998-12, Vol.41 (12), p.15-20New York: Association for Computing MachineryTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Comparison of neural network and neurofuzzy identification of vehicle handling under uncertaintiesAalizadeh, BagherTransactions of the Institute of Measurement and Control, 2019-11, Vol.41 (15), p.4230-4239 [Periódico revisado por pares]London, England: SAGE PublicationsTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Visual stimulator using laser beam for eye-movement studiesAalto, H ; Juhola, M ; Pyykkö, IMedical & biological engineering & computing, 1989-05, Vol.27 (3), p.332-335 [Periódico revisado por pares]United StatesTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Specifying cash-point with DisCo : The cash-point (ATM) 'problem'AALTONEN, Timo ; KELLOMÄKI, Pertti ; PITKÄNEN, RistoFormal aspects of computing, 2000, Vol.12 (4), p.231-232 [Periódico revisado por pares]London: SpringerTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Framework for Analysis of Power System Operation in Smart CitiesAamir, Muhammad ; Uqaili, Muhammad Aslam ; Amir, Samreen ; Chowdhry, B. S. ; Rafique, Faisal ; Poncela, JavierWireless personal communications, 2014-06, Vol.76 (3), p.399-408 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |