Sciweavers

4722 search results - page 104 / 945
» Encoding Program Executions
Sort
View
MICRO
1996
IEEE
81views Hardware» more  MICRO 1996»
15 years 6 months ago
Instruction Scheduling and Executable Editing
Modern microprocessors offer more instruction-level parallelism than most programs and compilers can currently exploit. The resulting disparity between a machine's peak and a...
Eric Schnarr, James R. Larus
ICCS
2007
Springer
15 years 6 months ago
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
Abdallah Al Zain, Kevin Hammond, Philip W. Trinder...
IEE
2008
108views more  IEE 2008»
15 years 2 months ago
Mining execution relations for crosscutting concerns
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
Jens Krinke
CAV
2006
Springer
165views Hardware» more  CAV 2006»
15 years 5 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
IV
2007
IEEE
149views Visualization» more  IV 2007»
15 years 8 months ago
Information Visualization of Multi-dimensional Cellular Automata using GPU Programming
We propose a method for generating all possible rules of multidimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical proce...
Stéphane Gobron, Daniel Mestre