Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D. Geist, Daniel ; Tronci, EnricoCorrect Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
A Framework for Microprocessor Correctness StatementsAagaard, Mark D. ; Cook, Byron ; Day, Nancy A. ; Jones, Robert B. Melham, Tom ; Margaria, TizianaCorrect Hardware Design and Verification Methods, 2001, p.433-448 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Xs Are for Trajectory Evaluation, Booleans Are for Theorem ProvingAagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, ThomasCorrect Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Framework for Impact Analysis of Green Smart Grid Deployment in Energy Deficit CountriesAamir, Muhammad ; Uqaili, Muhammad Aslam ; Chowdhry, Bhawani Shankar ; Rub, Raiyah ; Ali, Andaleeb ; Siddiqui, Mehwish Chowdhry, Bhawani Shankar ; Hussain, Dil Muhammad Akbar ; Shaikh, Faisal Karim ; Memon, Aftab Ahmed ; Zeadally, Sherali ; Uqaili, Muhammad Aslam ; Memon, Aftab Ahmed ; Shaikh, Faisal Karim ; Uqaili, Muhammad Aslam ; Chowdhry, Bhawani Shankar ; Zeadally, Sherali ; Hussain, Dil Muhammad AkbarCommunication Technologies, Information Security and Sustainable Development, 2014, Vol.414, p.1-12 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Knowledge-Intensive Case-Based Reasoning in CREEKAamodt, Agnar Funk, Peter ; González Calero, Pedro A.Advances in Case-Based Reasoning, 2004, p.1-15 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Considering Hierarchical Hybrid Systems for Intelligent Animated AgentsAaron, Eric ; Metaxas, Dimitris Truszkowski, Walt ; Hinchey, Mike ; Rouff, ChrisInnovative Concepts for Agent-Based Systems, p.215-229 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
A parallel statistical cooling algorithmAarts, E. H. L. ; de Bont, F. M. J. ; Habers, J. H. A. ; van Laarhoven, P. J. M. Vidal-Naquet, G. ; Monien, B.STACS 86, 1986, p.87-97 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Boltzmann machines and their applicationsAarts, Emile H. L. ; Korst, Jan H. M. Treleaven, P. C. ; Nijman, A. J. ; de Bakker, J. W.PARLE Parallel Architectures and Languages Europe, 1987, p.34-50 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Forward modelling as a method for predicting the distribution of deep-marine sands: an example from the Peïra Cava Sub-basinAas, Tor Even ; Basani, Riccardo ; Howell, John ; Hansen, ErnstGeological Society special publication, 2014, Vol.387 (1), p.247-269 [Periódico revisado por pares]London: The Geological Society of LondonTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
TPR: Three-D Place and Route for FPGAsAbabei, Cristinel Platzner, Marco ; Becker, Jürgen ; Vernalde, SergeField Programmable Logic and Application, p.1172-1172 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |