Sciweavers

1499 search results - page 135 / 300
» Chopping Concurrent Programs
Sort
View
ICESS
2007
Springer
14 years 5 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
MICRO
2000
IEEE
137views Hardware» more  MICRO 2000»
14 years 3 months ago
Relational profiling: enabling thread-level parallelism in virtual machines
Virtual machine service threads can perform many tasks in parallel with program execution such as garbage collection, dynamic compilation, and profile collection and analysis. Har...
Timothy H. Heil, James E. Smith
COORDINATION
1999
Springer
14 years 3 months ago
A Group Based Approach for Coordinating Active Objects
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
Juan Carlos Cruz, Stéphane Ducasse
CONCURRENCY
2008
60views more  CONCURRENCY 2008»
13 years 11 months ago
Steering via the image in local, distributed and collaborative settings
Computational steering is a valuable mechanism for scientific investigation in which the parameters of a running program can be altered and the results visualized immediately. In ...
J. D. Wood, H. Wright
FUIN
2008
91views more  FUIN 2008»
13 years 11 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...