sign in · help · news · about ·

BibSonomy :: author :: Cordeiro ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(225)

<< < 1 | 2 | 3 > >>

Verifying multi-threaded software using smt-based context-bounded model checking.
Lucas Cordeiro, and Bernd Fischer 0002 ICSE, page 331-340. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
Finding Clusters in subspaces of very large, multi-dimensional datasets.
Robson Leonardo Ferreira Cordeiro, Agma J. M. Traina, Christos Faloutsos, and Caetano Traina Jr. ICDE, page 625-636. IEEE, (2010)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
Using Contextual Information to Improve Awareness in Software DevelopmentS.
Bruno Antunes, Joel Cordeiro, Pedro Costa, and Paulo Gomes SEKE, page 349-352. Knowledge Systems Institute Graduate School, (2011)
to dblp by dblp on Jan 11, 2012, 12:00 AM
URL | BibTeX
Securing P2P systems from Sybil attacks through adaptive identity management.
Weverton Luis da Costa Cordeiro, Flavio Roberto Santos, Gustavo Huff Mauch, Marinho P. Barcellos, and Luciano Paschoal Gaspary CNSM, page 1-6. IEEE, (2011)
to dblp by dblp on Dec 28, 2011, 12:00 AM
URL | BibTeX
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints.
Lucas Cordeiro, Bernd Fischer 0002, Huan Chen 0001, and João Marques-Silva ICESS, page 396-403. IEEE, (2009)
to dblp by dblp on Dec 13, 2011, 12:00 AM
URL | BibTeX
Interference modeling and performance of Bluetooth MAC protocol.
Carlos de M. Cordeiro, Dharma Prakash Agrawal, and Djamel Fawzi Hadj Sadok IEEE Transactions on Wireless Communications 2(6):1240-1246 (2003)
to dblp by dblp on Dec 7, 2011, 12:00 AM
URL | BibTeX
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker
Raimundo S. Barreto, Lucas Cordeiro, and Bernd Fischer 0002 CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Bounded Model Checking of Multi-threaded Software using SMT solvers
Lucas Cordeiro, and Bernd Fischer 0002 CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Lucas Cordeiro, Bernd Fischer 0002, and João P. Marques Silva CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
Lucas Cordeiro, Bernd Fischer 0002, and João P. Marques Silva CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
DynaMOC: A Dynamic Overlapping Coalition-Based Multiagent System for Coordination of Mobile Ad Hoc Devices.
Vitor A. dos Santos, Giovanni Cordeiro Barroso, Mario F. Aguilar, Antonio de Barros Serra, and Jose M. Soares ICIRA 1, volume 7101 of Lecture Notes in Computer Science, page 300-311. Springer, (2011)
to dblp by dblp on Dec 2, 2011, 12:00 AM
URL | BibTeX
IT Project Variables in the Balance: A Bayesian Approach to Prediction of Support Costs.
Bruno Lopes Dalmazo, Abraham Lincoln Rabelo de Sousa, Weverton L. Cordeiro, Juliano Araujo Wickboldt, Roben Castagna Lunardi, Ricardo Luis dos Santos, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Claudio Bartolini, and Marianne Hickey SBES, page 224-232. IEEE, (2011)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
A log-linear regression model for the β-Birnbaum-Saunders distribution with censored data.
Edwin M. M. Ortega, Gauss M. Cordeiro, and Artur J. Lemonte Computational Statistics & Data Analysis 56(3):698-718 (2012)
to dblp by dblp on Nov 27, 2011, 12:00 AM
URL | BibTeX
MOPSO Applied to Architecture Tuning with Unified Second-Level Cache for Energy and Performance Optimization.
Filipe R. Cordeiro, Abel G. Silva-Filho, and G. R. Carvalho SBAC-PAD, page 103-110. IEEE Computer Society, (2010)
to dblp by dblp on Nov 26, 2011, 12:00 AM
URL | BibTeX
DoE applied to two-level memory hierarchies for energy consumption reduction.
Abel G. Silva-Filho, and Filipe R. Cordeiro SMC, page 3084-3089. IEEE, (2011)
to dblp by dblp on Nov 24, 2011, 12:00 AM
URL | BibTeX
Towards a Design of True Adaptive, Integrated and Distributed Corporate Information Systems.
Josi A. Cordeiro Gomes, Manmix Goossens, and Eddy Vandijck ECIS, page 699-710. (1996)
to dblp by dblp on Nov 24, 2011, 12:00 AM
URL | BibTeX
DynaMOC: A Multiagent System for Coordination of Mobile Teams Based on Dynamic Overlapping Coalitions.
Vitor A. dos Santos, Giovanni Cordeiro Barroso, Mario F. Aguilar, Antonio de Barros Serra, and Jose M. Soares IDC, volume 382 of Studies in Computational Intelligence, page 303-308. Springer, (2011)
to dblp by dblp on Nov 23, 2011, 12:00 AM
URL | BibTeX
Application of the theory of organized activity to the coordination of social information systems.
José A. Moinhos Cordeiro, and Joaquim Filipe ECIS, page 480-495. (2003)
to dblp by dblp on Nov 23, 2011, 12:00 AM
URL | BibTeX
Processor for Measuring Radio Network Design Quality.
Juan Antonio Gómez Pulido, Silvio Priem-Mendes, Miguel A. Vega-Rodríguez, Paulo J. Cordeiro, and Juan Manuel Sánchez-Pérez Wireless Engineering and Technology 2(3):204-211 (2011)
to dblp by dblp on Nov 10, 2011, 12:00 AM
URL | BibTeX
Minkowski metric, feature weighting and anomalous cluster initializing in K-Means clustering.
Renato Cordeiro de Amorim, and Boris Mirkin Pattern Recognition 45(3):1061-1075 (2012)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100