Jim Holt

According to our database1, Jim Holt authored at least 27 papers between 2001 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Dynamic Core Allocation and Packet Scheduling in Multicore Network Processors.
IEEE Trans. Computers, 2016

2015
MINIME: Pattern-Aware Multicore Benchmark Synthesizer.
IEEE Trans. Computers, 2015

2014
SCORPIO: A 36-core research chip demonstrating snoopy coherence on a scalable mesh NoC with in-network ordering.
Proceedings of the ACM/IEEE 41st International Symposium on Computer Architecture, 2014

2013
libEOMP: a portable OpenMP runtime library based on MCA APIs for embedded systems.
Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2013

Functional Validation of a New Network Switch Architecture Using Rapid Prototyping Techniques.
Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Portable mapping of openMP to multicore embedded systems using MCA APIs.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Flow Migration on Multicore Network Processors: Load Balancing While Minimizing Packet Reordering.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

Asymmetric scaling on network packet processors in the dark silicon era.
Proceedings of the Symposium on Architecture for Networking and Communications Systems, 2013

2012
A full lifecycle performance verification methodology for multicore systems-on-chip.
ACM Trans. Design Autom. Electr. Syst., 2012

Verification and coverage of message passing multicore applications.
ACM Trans. Design Autom. Electr. Syst., 2012

Using software architectural patterns for synthetic embedded multicore benchmark development.
Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Verification coverage of embedded multicore applications.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Self-aware computing in the Angstrom processor.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011
Embedded Multicore Systems: Design Challenges and Opportunities.
Proceedings of the Multiprocessor System-on-Chip - Hardware Design and Tool Integration., 2011

2009
Software Standards for the Multicore Era.
IEEE Micro, 2009

System-level Performance Verification of Multicore Systems-on-Chip.
Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

MCC: A runtime verification tool for MCAPI user applications.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2007
Early Models for System-Level Power Estimation.
Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

2003
Arcade: early dynamic property evaluation of requirements using partitioned software architecture models.
Requir. Eng., 2003

Evaluating dynamic correctness properties of domain reference architectures.
J. Syst. Softw., 2003

Early Multi-Level Software Architecture Performance Evaluations.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002
Performance evaluation of domain reference architectures.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001
Software Architecture Correctness.
IEEE Softw., 2001

Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Multi-Level Software Architecture Metamodel to Support the Capture and Evaluation of Stakeholder Concerns.
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001


  Loading...