Luís Antonio Rivera - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged C++

A Comparison of the Perceptual Benefits of Linear Perspective and Physically-Based Illumination for Display of Dense 3D StreamtubesChris Weigle, David C. Banks. tvcg, 14(6):1723-1730, 2008. [doi]

Preparing for C++0xValentin David. OOPSLA 2008: 769-770 [doi]

Sixth International Conference on Creating, Connecting and Collaborating through Computing (C:::5::: 2008), January 14-16, Poitiers, FranceIEEE Computer Society, 2008.

Calculating with AutomataJos C. M. Baeten. birthday 2008: 747-756 [doi]

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462Jos C. M. Baeten, Ana Sokolova. jlp, 78(1):52, 2008. [doi]

Characterization of Flexible RF Microcoil Dedicated to Surface MriMarion Woytasik, J.-C. Ginefri, J.-S. Raynaud, M. Poirier-Quinot, Elisabeth Dufour-Gergam, J.-P. Grandchamp, L. Darrasse, P. Robert, J.-P. Gilles, Emile Martincic, O. Girard. corr, abs/0711.3326, 2007. [doi]

Hybrid molecular dynamics-quantum mechanics simulations of solute spectral properties in the condensed phase: Evaluation of simulation parametersMatthew C. Zwier, Justin M. Shorb, Brent P. Krueger. jcc, 28(9):1572-1581, 2007. [doi]

Frame shared memory: line-rate networking on commodity hardwareJohn Giacomoni, John K. Bennett, Antonio Carzaniga, Douglas C. Sicker, Manish Vachharajani, Alexander L. Wolf. ancs 2007: 27-36 [doi]

Fifth International Conference on Creating, Connecting and Collaborating through Computing (C:::5::: 2007), 24-26 January 2007, Kyoto, JapanIEEE Computer Society, 2007.

Applying a Tradeoff Model (TOM) to TACTRaihan Al-Ekram, Richard C. Holt, Chris Hobbs. IEEEares 2007: 351-355 [doi]

Anti-image FIR filters for large interpolation factorsAlok Jain, Rajiv Saxena, S. C. Saxena. sigpro, 86(11):3240-3245, 2006. [doi]

The study of QoS guarantee in the optical burst switching internet backboneHaw-Yun Shin, Jean-Lien C. Wu, Yu-Chi Hsu. osn, 3(1):50-63, 2006. [doi]

Fourth International Conference on Creating, Connecting and Collaborating through Computing (C:::5::: 2006), 26-27 January 2006, Berkeley, California, USAIEEE Computer Society, 2006.

Guest editors introduction: Special issue on Process Theory for Hybrid SystemsJos C. M. Baeten, Bas Luttik. jlp, 68(1-2):1-3, 2006. [doi]

Bounds on the Capacity of the Blockwise Noncoherent APSK-AWGN ChannelsDaniel C. Cunha, Jaime Portugheis. corr, abs/cs/0508040, 2005. [doi]

Oriented Bounding Boxes Using Multiresolution Contours for Fast Interference Detection of Arbitrary Geometric ObjectsLuís Antonio Rivera, Vania Vieira Estrela, Paulo Cezar P. Carvalho, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Luis Antonio Rivera. In WSCG (Short Papers). 2004: 219-212

Regularized Pel-Recursive Motion Estimation Using Generalized Cross-Validation and Spatial AdaptationVania Vieira Estrela, Luís Antonio Rivera, Paulo Cesar Beggio, Ricardo Tadeu Lopes, Vania Vieira Estrela, Ricardo Tadeu Lopes, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela. sibgrapi 2003: 331-338 [doi]

A Representational Scheme for Analyzing Information Technology and Organizational DependencyJohn Tillquist, John Leslie King, Carson C. Woo. misq, 26(2):91-118, 2002. [doi]

A labeling scheme for young tableaux spanning representations of permutation group S(N)C. R. Sarma, A. V. V. Nampoothiri. jcc, 21(3):185-190, 2000. [doi]

A retina with parallel input and pulsed output, extracting high-resolution informationMichael J. Wilcox, Donald C. Thelen Jr.. tnn, 10(3):574-583, 1999. [doi]

Excited-State Molecular Electric Properties of Some Biologically Important Purines, Pyrimidines, and Azines: An ab Initio StudyManish Kumar Shukla, P. C. Mishra. jcisd, 38(4):678-684, 1998. [doi]

Will C++ Be Faster than Fortran?Todd L. Veldhuizen, M. Ed Jernigan. iscope 1997: 49-56

Lorentzian neural netsBertrand G. Giraud, Alan S. Lapedes, Lon Chang Liu, Jörg C. Lemm. NN, 8(5):757-767, 1995. [doi]

Io, Ganymede, and Callisto A Multiagent Robot Trash-Collecting TeamTucker R. Balch, Gary Boone, Thomas R. Collins, Harold Forbes, Douglas C. MacKenzie, Juan Carlos Santamaría. aim, 16(2):39-51, 1995.

C++ Conference1994.

The Epilog System: Automated Long-Term EEG Monitoring for EpilepsyThomas F. Collura, Ernest C. Jacobs, Richard C. Burgess, John P. Turnbull. Computer, 25(9):5-14, 1992.

The Total Order AssumptionJos C. M. Baeten. napaw 1993: 231-240

An agenda for research directionsRichard C. Holt, Jacob Slonim. cascon 1992: 81-90 [doi]

Matching structural and implementational models in the specification of image classifiersMichael C. Fairhurst, H. M. S. Abdel Wahab, Paul Brittan. PR, 24(6):555-566, 1991. [doi]

C++ Conference1991.

Representing Semantically Analyzed C++ Code with RepriseDavid S. Rosenblum, Alexander L. Wolf. c++ 1991: 119-134

Specification-Level InteroperabilityJack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr. CACM, 34(5):72-87, 1991.

Parallel Programmming in MaudeJosé Meseguer, Timothy C. Winkler. hlppp 1992: 253-293

Analyzing Hard-Real-Time Programs For Guaranteed SchedulabilityAlexander D. Stoyenko, V. Carl Hamacher, Richard C. Holt. TSE, 17(8):737-750, 1991. [doi]

cDNA sequence of the env gene of a pathogenic equine infectious anemia lentivirus variantT. C. McGuire, P. A. Lacy, K. I. O Rourke. nar, 18(1):196, 1990.

C++ Conference1990.

Specification Level InteroperabilityJack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr. ICSE 1990: 74-85

Flo52 on Hypercubes: Performance and Modelling of a Multigrid Euler CodeEric Barszcz, Tony F. Chan, Dennis C. Jespersen, Raymond S. Tuminaro. ijhsc, 1(3):481-503, 1989. [doi]

A Different Tack to Providing Persistence in a LanguagePeri L. Tarr, Jack C. Wileden, Alexander L. Wolf. DBPL 1990: 41-60 [doi]

C++ Conference1988.

Facilitating process prototyping by controlling the impact of changeJack C. Wileden, Lori A. Clarke, Alexander L. Wolf. ispw 1988: 163-166

Concurrent garbage collection on stock hardwareStephen C. North, John H. Reppy. fpca 1987: 113-133

SRE-A Syntax Recognizing EditorFrank J. Dudinsky, Richard C. Holt, Safwat G. Zaky. SPE, 15(5):489-497, 1985.

Edmas: A Locally Distributed Mail SystemGuy T. Almes, Andrew P. Black, C. Bunje, D. Wiebe. ICSE 1984: 56-66

A model for implementing Euclid modules and type templatesRichard C. Holt, David B. Wortman. sigplan 1979: 8-12 [doi]

The Euclid Language: a progress reportRichard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe. acm 1978: 111-115 [doi]

Some Deadlock Properties of Computer SystemsRichard C. Holt. sosp 1971: 64-71

Comments on Prevention of System DeadlocksRichard C. Holt. CACM, 14(1):36-38, 1971.

Home PageJos C. M. Baeten. http://www.win.tue.nl/~josb/,

runs on WebDSL