Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
(0, ±1) ideal matricesNOBILI, P ; SASSANO, AMathematical programming, 1998-02, Vol.80 (3), p.265-281 [Periódico revisado por pares]Heidelberg: SpringerTexto completo disponível |
|
2 |
Material Type: Artigo
|
0–1 ILP-based run-time hierarchical energy optimization for heterogeneous cluster-based multi/many-core systemsYang, Simei ; Le Nours, Sébastien ; Mendez Real, Maria ; Pillement, SébastienJournal of systems architecture, 2021-06, Vol.116, p.102035, Article 102035 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
0/1 Knapsack on Hardware: A Complete SolutionNibbelink, K. ; Rajopadhye, S. ; McConnell, R.2007 IEEE International Conf. on Application-specific Systems, Architectures and Processors (ASAP), 2007, p.160-167IEEETexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
0-1 laws for infinitary logicsKolaitis, P.G. ; Vardi, M.Y.[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 1990, p.156-167IEEE Comput. Soc. PressTexto completo disponível |
|
5 |
Material Type: Artigo
|
0-1 laws for mapsBender, Edward A. ; Compton, Kevin J. ; Richmond, L. BruceRandom structures & algorithms, 1999-05, Vol.14 (3), p.215-237 [Periódico revisado por pares]New York: John Wiley & Sons, IncTexto completo disponível |
|
6 |
Material Type: Livro
|
15th International Conference on Software Engineering May 17-21, 1993, Baltimore, MarylandInternational Conference on Software Engineering (15th 1993 Baltimore, Md.) ACM Sigsoft; IEEE Computer Society Technical Committee on Software EngineeringLos Alamitos, Calif. IEEE Computer Society Press c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 I61se 1993 e.1 )(Acessar) |
|
7 |
Material Type: Livro
|
201 principles of software developmentAlan M. Davis 1949- (Alan Michael)New York McGraw-Hill c1995Localização: EPBC - Esc. Politécnica-Bib Central (004.413 D29t )(Acessar) |
|
8 |
Material Type: Livro
|
26th Annual International Computer Software and Applications Conference proceedings : 26-29 August, 2002, Oxford, EnglandCOMPSAC (26th 2002 Oxford, England) IEEE Computer SocietyLos Alamitos, Calif. IEEE Computer Society Press 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
2nd International Conference on Software Engineering 13-15 October 1976, San Francisco, California : proceedingsInternational Conference on Software Engineering (2nd 1976 San Francisco, Calif.) IEEE Computer Society; United States National Bureau of Standards; Association for Computing MachineryNew York IEEE c1976Localização: EPBC - Esc. Politécnica-Bib Central (004.41 In8p 2. ) e outros locais(Acessar) |
|
10 |
Material Type: Ata de Congresso
|
A 0-1 Hardware/Software Partitioning Algorithm over IP coresJiang Kaizhong ; Lu Zhao ; Gu JunzhongInternational Conference on Autonomic and Autonomous Systems (ICAS'06), 2006, p.25-25IEEETexto completo disponível |