Jim Holt
According to our database1,
Jim Holt
authored at least 27 papers
between 2001 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
IEEE Trans. Computers, 2016
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
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
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
Proceedings of the Symposium on Architecture for Networking and Communications Systems, 2013
2012
ACM Trans. Design Autom. Electr. Syst., 2012
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
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
2011
Proceedings of the Multiprocessor System-on-Chip - Hardware Design and Tool Integration., 2011
2009
Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2007
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
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
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
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