1114 search results - page 33 / 223 » Validating optimizations of concurrent C C programs |
ICCAD
2007
IEEE
14 years 23 days ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
MP
2002
13 years 8 months ago
2002
The stability number (G) for a given graph G is the size of a maximum stable set in G. The Lov
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
CONCURRENCY
1998
13 years 8 months ago
1998
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...
ISMB
1998
13 years 10 months ago
1998
DNA sequence analysis depends on the accurate assembly of fragment reads for the determination of a consensus sequence. This report examines the possibility of analyzing multiple,...