FlexBulk: Intelligently Forming Atomic Blocks in Blocked-Execution Multiprocessors to Minimize Squashes

Authors: Rishi Agarwal, Josep Torrellas

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://iacoma.cs.uiuc.edu/iacoma-papers/isca11_1.pdf.

Subject Terms: Categories and Subject Descriptors C.1.2 [Processor Architectures, Multiple Data Stream Architectures- MIMD Processors, D.1.3 [Programming Techniques, Concurrent Programming- Parallel Programming. General Terms Design, Performance. Keywords Atomic Block Execution, Thread Squash, Speculation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.5609

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.5609
http://iacoma.cs.uiuc.edu/iacoma-papers/isca11_1.pdf

Demanddriven software race detection using hardware performance counters

Authors: Joseph L. Greathouse, Matthew I. Frank, Ramesh Peri, Zhiqiang Ma, Todd Austin

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://ipa.ece.illinois.edu/pub/Greathouse-2011-ISCA.pdf.

Subject Terms: D.2.5 [Software Engineering, Testing and Debugging— debugging aids, testing tools, D.1.3 [Programming Techniques, Concurrent Programming General Terms Design, Performance Keywords Performance Counters, Data Race Detection, Demand Analysis, Cache Coherency

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.6284

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.6284
http://ipa.ece.illinois.edu/pub/Greathouse-2011-ISCA.pdf

Multi-layer Faults in the Architectures of Mobile, Context-Aware Adaptive Applications

Authors: Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian Elbaum

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: https://mailserver.di.unipi.it/ricerca/proceedings/ICSE2008/sam/p47.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Validation, D.2.5 [Testing and Debugging, Monitors, D.1.3 [Concurrent Programming, Distributed programming General Terms Design Keywords Adaptation, context-awareness, mobile computing, model- based analysis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.5568

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.5568

Author manuscript, published in 'FMICS (2005) 27-34' DOI:10.1145/1081180.1081185 Flush: A System Development Tool Based on Scade/Lustre

Authors: Paul Caspi

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://hal.archives-ouvertes.fr/docs/00/46/61/70/PDF/f23-mikac.pdf.

Subject Terms: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Tools, D.3.2 [Programming Languages, Language Classifications—Data-flow languages, D.1.1 [Programming Techniques, Applicative (Functional) Programming General Terms Design, Verification Keywords synchronous language

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.4592

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.4592
http://hal.archives-ouvertes.fr/docs/00/46/61/70/PDF/f23-mikac.pdf

Concurrency by default: Using permissions to express dataflow in stateful programs

Authors: Sven Stork, Paulo Marques, Jonathan Aldrich

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cmu.edu/~svens/papers/onward-2009.pdf.

Subject Terms: Categories and Subject Descriptors D.3.3 [Programming Languages, D.1.3 [Concurrent Programming] General Terms Design, Languages Keywords concurrency, programming language, access permissions

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9869

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9869
http://www.cs.cmu.edu/~svens/papers/onward-2009.pdf

Software transactional memory for multicore embedded systems

Authors: Jennifer Mankin, David Kaeli, John Ardini

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www3.ece.neu.edu/~jmankin/docs/jmankin-lctes09.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—parallel programming General Terms Design, Experimentation, Performance Keywords Embedded Systems, Multicore, Software Transac- tional Memory (STM, Synchronization, Locking, Transactions

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.4737

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.4737
http://www3.ece.neu.edu/~jmankin/docs/jmankin-lctes09.pdf

Distributed data-parallel computing using a highlevel programming language

Authors: Michael Isard, Yuan Yu

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://research.microsoft.com/pubs/102137/sigmod09.pdf.

Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418; http://research.microsoft.com/pubs/102137/sigmod09.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418
http://research.microsoft.com/pubs/102137/sigmod09.pdf

Monitoring heritage buildings with wireless sensor networks: the Torre Aquila deployment

Authors: Matteo Ceriotti, Luca Mottola, Gian Pietro Picco, Amy L. Murphy, Stefan Gunǎ, Michele Corrà, Matteo Pozzi, Daniele Zonta, Paolo Zanon

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://disi.unitn.it/%7Epicco/papers/tower.pdf.

Subject Terms: Concurrent Programming—Distributed programming General Terms Design, Experimentation, Measurement Keywords Wireless sensor networks, Heritage buildings, Middleware

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.67; http://disi.unitn.it/%7Epicco/papers/tower.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.67
http://disi.unitn.it/%7Epicco/papers/tower.pdf

Practical declarative network management

Authors: Timothy Hinrichs, John Mitchell, Natasha Gude, Scott Shenker, Martin Casado

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.stanford.edu/~jcm/papers/sepl-wren-09.pdf.

Subject Terms: D.4.6 [Software, Security and Privacy Protection, D.1.6 [Programming Techniques, Logic Programming General Terms Design, Evaluation Keywords Network, Policy, Security, Performance

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.6888

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.6888
http://www.stanford.edu/~jcm/papers/sepl-wren-09.pdf

Monitoring Heritage Buildings with Wireless Sensor Networks: The Torre Aquila Deployment

Authors: Matteo Ceriotti, Luca Mottola, Gian Pietro Picco, Amy L. Murphy, Stefan Gunǎ, Michele Corrà, Matteo Pozzi, Daniele Zonta, Paolo Zanon

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.sics.se/~luca/papers/ceriotti09monitoring.pdf.

Subject Terms: Concurrent Programming—Distributed programming General Terms Design, Experimentation, Measurement Keywords Wireless sensor networks, Heritage buildings, Middleware

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.6665; http://www.sics.se/~luca/papers/ceriotti09monitoring.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.6665
http://www.sics.se/~luca/papers/ceriotti09monitoring.pdf

Adaptive transaction scheduling for transactional memory systems

Authors: Richard M. Yoo, Hsien-hsin S. Lee

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://arch.ece.gatech.edu/pub/spaa08-2.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— parallel programming General Terms Design, Performance Keywords Contention Intensity, Parallelism, Performance, Transaction Effec- tiveness, Transactional Memory Systems

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.3323

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.3323
http://arch.ece.gatech.edu/pub/spaa08-2.pdf

Txlinux: using and managing hardware transactional memory in an operating system

Authors: Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Aditya Bh, Emmett Witchel

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.research.rutgers.edu/~atjang/quals/p87-rossbach.pdf.

Subject Terms: Categories and Subject Descriptors C.1.4 [Processor Architectures, Parallel Architecture, D.4.1 [Operating Systems, Process Management, D.1.3 [Programming Techniques, Concurrent Programming] General Terms Design, Performance Keywords Transactional Memory, Operating Systems, Optimistic Concurrency, Synchronization, MetaTM, TxLinux

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.3201

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.3201
http://www.research.rutgers.edu/~atjang/quals/p87-rossbach.pdf

Understanding the shape of Java software

Authors: Gareth Baxter, Marcus Frean, James Noble, Mark Rickerby, Hayden Smith, Matt Visser

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.mcs.vuw.ac.nz/~marcus/manuscripts/BaxterShape.pdf.

Subject Terms: TECHNIQUES, Object-oriented Programming General Terms Design, Measurement Keywords Power-law distributions, object-oriented design, Java

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.548; http://www.mcs.vuw.ac.nz/~marcus/manuscripts/BaxterShape.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.548
http://www.mcs.vuw.ac.nz/~marcus/manuscripts/BaxterShape.pdf

JIAD: A tool to infer design patterns in refactoring

Authors: J Rajesh

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://dos.iitm.ac.in/LabPapers/final-ppdp.pdf.

Subject Terms: D.1.6 [Programming Techniques, Logic Programming, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Design, Languages, Reliability, Verification

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.8055

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.8055
http://dos.iitm.ac.in/LabPapers/final-ppdp.pdf

A Methodology for Generating Verified Combinatorial Circuits

Authors: Oleg Kiselyov, Kedar N. Swadi, Walid Taha, Fleet Numerical Meteorology

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.rice.edu/~taha/publications/conference/emsoft04.ps.

Subject Terms: Programming Techniques, Functional Programming General Terms Design, Languages, Performance Keywords Multi-stage

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6134; http://www.cs.rice.edu/~taha/publications/conference/emsoft04.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6134
http://www.cs.rice.edu/~taha/publications/conference/emsoft04.ps

Applying traits to the Smalltalk collection classes

Authors: Andrew P. Black

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.pdx.edu/~black/publications/refactoringsACM.pdf.

Subject Terms: D.2.3 [Coding Tools and Techniques, Object-oriented programming General Terms Design, Languages Keywords Reuse, Mixins, Traits, Smalltalk, Collection hierarchy, Stream classes, Refactoring, Inheritance, Multiple Inheritance

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7281; http://www.cs.pdx.edu/~black/publications/refactoringsACM.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7281
http://www.cs.pdx.edu/~black/publications/refactoringsACM.pdf

Language-Independent Aspect-Oriented Programming

Authors: Donal Lafferty, Vinny Cahill

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.tcd.ie/publications/tech-reports/./reports.03/TCD-CS-2003-35.pdf.

Subject Terms: Programming General Terms Design, Experimentation, Standardization, Languages. Keywords Aspect-oriented programming, Weave.NET, Common Language Infrastructure, language-independence

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.7785

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.7785
http://www.cs.tcd.ie/publications/tech-reports/./reports.03/TCD-CS-2003-35.pdf

Generative design patterns

Authors: S. Macdonald, D. Szafron, J. Schaeffer, J. Anvik, S. Bromling, K. Tan

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://plg.uwaterloo.ca/~stevem/papers/unused/OOPSLA2002.pdf.

Subject Terms: Categories and Subject Descriptors D.3 [Software, Object-Oriented Programming, Concurrent Programming, Automatic Programming. General Terms Design, Performance, Reliability, Languages. Keywords Design Patterns, Frameworks, Programming Tools

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.449; http://plg.uwaterloo.ca/~stevem/papers/unused/OOPSLA2002.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.449
http://plg.uwaterloo.ca/~stevem/papers/unused/OOPSLA2002.pdf

Programmable self-assembly using biologically-inspired multiagent control

Authors: Radhika Nagpal

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://jmvidal.cse.sc.edu/library/nagpal02a.pdf.

Subject Terms: Categories and Subject Descriptors I.2.11 [Computing Methodologies, Artificial Intelligence— Distributed Artificial Intelligence, Multiagent systems, Languages and structures, D.1.3 [Software, Programming Techniques—Concurrent Programming General Terms Design, Languages, Algorithms, Reliability Keywords Morphogenesis, Amorphous Computing, Collective Behavior, Smart Matter, Pattern Formation, Paper-Folding

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.6536; http://jmvidal.cse.sc.edu/library/nagpal02a.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.6536
http://jmvidal.cse.sc.edu/library/nagpal02a.pdf

Programmable self-assembly using biologically-inspired multiagent control

Authors: Radhika Nagpal

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.eecs.harvard.edu/~rad/courses/cs266-fall04/papers/nagpal-aamas02.pdf.

Subject Terms: Distributed Artificial Intelligence, Multiagent systems, Languages and structures, D.1.3 [Software, Programming Techniques—Concurrent Programming General Terms Design, Languages, Algorithms, Reliability Keywords Morphogenesis, Amorphous Computing, Collective Behavior, Smart Matter, Pattern Formation, Paper-Folding

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.7492

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.7492
http://www.eecs.harvard.edu/~rad/courses/cs266-fall04/papers/nagpal-aamas02.pdf