|
|
|
|
|
|
Date Reviewed |
|
|
1 - 10 of 44
reviews
|
|
|
|
|
|
|
|
Scheduling on parallel identical machines with job-rejection and position-dependent processing times Gerstl E., Mosheiov G. Information Processing Letters 112(19): 743-747, 2012. Type: Article
Three new theorems, solving upper bounds for scheduling n jobs on m parallel identical machines, are derived in this paper. The scheduling problem is reduced to a restricted linear assignment probl...
|
Nov 27 2012 |
|
|
|
|
|
|
Union and intersection types to support both dynamic and static typing Ortin F., García M. Information Processing Letters 111(6): 278-286, 2011. Type: Article
In this paper, the authors make a great case for modern programming languages that have static and dynamic types and type checking, particularly if a compiler such as StaDyn exploits compile time type references for improved run...
|
Jul 7 2011 |
|
|
|
|
|
|
Implicit invocation meets safe, implicit concurrency Long Y., Mooney S., Sondag T., Rajan H. GPCE 2010 (Proceedings of the 9th International Conference on Generative Programming and Component Engineering, Eindhoven, the Netherlands, Oct 10-13, 2010) 63-72, 2010. Type: Proceedings
Panini is the name of an evolving parallel programming environment being developed at Iowa State University. It is introduced as a novel technology for safe, concurrent, modular software development, specifically to run on multicore pr...
|
May 17 2011 |
|
|
|
|
|
|
Parallel algorithms Casanova H., Legrand A., Robert Y., Chapman & Hall/CRC, 2008. 360 pp. Type: Book
At last, a book that has been needed for some time is here! This book discusses complex computational problems, parallel algorithms for solving them, and the execution of such algorithms on computers with way more than one processing u...
|
Jun 1 2009 |
|
|
|
|
|
|
Integrating job parallelism in real-time scheduling theory Collette S., Cucu L., Goossens J. Information Processing Letters 106(5): 180-187, 2008. Type: Article
The paper proposes interesting, new compute bounds for the feasibility and the global schedule of “sporadic, implicit deadline, [n] real-time tasks on multiprocessor platforms,” with m
|
Oct 27 2008 |
|
|
|
|
|
|
Tapping into the fountain of CPUs: on operating system support for programmable devices Weinsberg Y., Dolev D., Anker T., Ben-Yehuda M., Wyckoff P. Architectural support for programming languages and operating systems (Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, Seattle, WA, Mar 1-5, 2008) 179-188, 2008. Type: Proceedings
Hydra, a new framework for increasing the speed and power of general-purpose computers, without adding hardware or silicon, is described in this paper. Hydra exploits existing but untapped computing potential of devices that harbor cap...
|
Jul 11 2008 |
|
|
|
|
|
|
Adaptive dynamic thread scheduling for simultaneous multithreaded architectures with a detector thread Shin C., Lee S., Gaudiot J. Journal of Parallel and Distributed Computing 66(10): 1304-1321, 2006. Type: Article, Reviews: (2 of 2)
The research documented in this paper significantly extends the state of the art of simultaneous multithreading (SMT). Although current thread-scheduling techniques, even on eight-issue superscalar architectures, quickly encounter a sa...
|
May 21 2007 |
|
|
|
|
|
|
Boundedness undecidability for synchronized nets Devillers R., Van Begin L. Information Processing Letters 99(5): 208-214, 2006. Type: Article
Petri nets provide a graphical representation of concurrent, discrete-event, dynamic systems. This paper answers questions about synchronized Petri nets (SPNs): “Are the nets bounded?” “Which p...
|
Jan 10 2007 |
|
|
|
|
|
|
The art of computer programming, Volume 1, Fascicle 1: MMIX - a RISC computer for the new millennium Knuth D., Addison-Wesley Professional, Boston, MA, 2005. 144 pp. Type: Book (9780201853926), Reviews: (1 of 2)
Donald E. Knuth is in the process of updating his classic, The art of computer programming. Rather than revising entire volumes at once, he is targeting the most relevant kernels of each volume as fascicles. This is the first fa...
|
Jul 17 2006 |
|
|
|
|
|
|
Virtual machines Craig I., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. Type: Book (9781852339692)
This book describes methods for building virtual machines (VMs). The methods generally consist of two steps: step 1 translates a target-independent source program into intermediate code, and step 2 interprets the intermediate code. The...
|
Feb 1 2006 |
|
|
|
|
|
|
|
|
|
|
|