Sciweavers

5235 search results - page 450 / 1047
» Analysis of Multithreaded Programs
Sort
View
MM
2000
ACM
115views Multimedia» more  MM 2000»
15 years 12 months ago
Associating cooking video with related textbook
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
Reiko Hamada, Ichiro Ide, Shuichi Sakai
SAS
2010
Springer
134views Formal Methods» more  SAS 2010»
15 years 6 months ago
Strictness Meets Data Flow
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
Tom Schrijvers, Alan Mycroft
IDA
2009
Springer
16 years 2 months ago
Selecting Computer Architectures by Means of Control-Flow-Graph Mining
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
Frank Eichinger, Klemens Böhm
CISIS
2008
IEEE
16 years 2 months ago
Hardware Software Partitioning Problem in Embedded System Design Using Particle Swarm Optimization Algorithm
Hardware/software partitioning is a crucial problem in embedded system design. In this paper, we provide an alternative approach to solve this problem using Particle Swarm Optimiz...
Alakananda Bhattacharya, Amit Konar, Swagatam Das,...
IPPS
2007
IEEE
16 years 1 months ago
Scheduling in the Z-Polyhedral Model
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
Gautam Gupta, DaeGon Kim, Sanjay V. Rajopadhye