Jonathan P. Bowen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged C++

Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware SynthesisPhan C. Vinh, Jonathan P. Bowen. tcos, 1:1-36, 2008. [doi]

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]

A Formal Approach to Aspect-Oriented Modular Reconfigurable ComputingPhan C. Vinh, Jonathan P. Bowen. tase 2007: 369-378 [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.

PrefaceJos C. M. Baeten, Iain C. C. Phillips. TCS, 386(3):167-168, 2007. [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.

PrefaceJos C. M. Baeten, Iain C. C. Phillips. ENTCS, 154(3):1-2, 2006. [doi]

A Provable Algorithm for Reconfiguration in Embedded Reconfigurable ComputingPhan C. Vinh, Jonathan P. Bowen. sew 2006: 245-252 [doi]

Continuity aspects of embedded reconfigurable computingPhan C. Vinh, Jonathan P. Bowen. isse, 1(1):41-53, 2005. [doi]

Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing SystemsPhan C. Vinh, Jonathan P. Bowen. ECBS 2005: 247-254 [doi]

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

On the Visual Representation of Configuration in Reconfigurable ComputingPhan C. Vinh, Jonathan P. Bowen. ENTCS, 109:3-15, 2004. [doi]

An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAsPhan C. Vinh, Jonathan P. Bowen. fpga 2004: 254 [doi]

Z Logic and its ConsequencesMartin C. Henson, Steve Reeves, Jonathan P. Bowen. cai, 22(4):381-415, 2003.

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

An Invitation to Formal MethodsJonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave. Computer, 29(4):16-30, 1996.

A PREttier Compiler-Compiler: Generating Higher-order Parsers in CPeter T. Breuer, Jonathan P. Bowen. SPE, 25(11):1263-1297, 1995.

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.

Z and HOLJonathan P. Bowen, Michael J. C. Gordon. zum 1994: 141-167

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

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.

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

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

runs on WebDSL