Scheduling threads for low space requirement and good locality
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
Application-defined scheduling in Ada
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
The UDP Calculus: Rigorous Semantics for Real Networking
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
ARMI: an adaptive, platform independent communication library
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Sourcebook of parallel computing
Managing multiple execution-time timers from a single task
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Shared memory multiprocessor support for functional array processing in SAC
Journal of Functional Programming
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Stack virtualization for source level debugging
Software—Practice & Experience
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
Cooperative Client-Side File Caching for MPI Applications
International Journal of High Performance Computing Applications
Requirements and limits of a real-time transport system for distributed object computing middleware
Integrated Computer-Aided Engineering
Implicitly parallel programming models for thousand-core microprocessors
Proceedings of the 44th annual Design Automation Conference
Operating system support for execution time budgets for thread groups
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Test Construction for Mathematical Functions
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Automation of broad sanity test generation
Programming and Computing Software
A proposal to integrate the POSIX execution-time clocks into Ada 95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Implementation of new Ada 2005 real-time services in MaRTE OS and GNAT
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
A profile-based tool for finding pipeline parallelism in sequential programs
Parallel Computing
VForce: An environment for portable applications on high performance systems with accelerators
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |