Sciweavers

6894 search results - page 79 / 1379
» Generation Problems
Sort
View
ISSAC
2007
Springer
91views Mathematics» more  ISSAC 2007»
16 years 10 days ago
Generation and optimisation of code using coxeter lattice paths
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Wa...
AIED
2005
Springer
15 years 11 months ago
Generating Reports of Graphical Modelling Processes for Authoring and Presentation
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
Lars Bollen
CP
2005
Springer
15 years 11 months ago
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
Luca Benini, Davide Bertozzi, Alessio Guerri, Mich...
FATES
2004
Springer
15 years 11 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural
DAC
1995
ACM
15 years 9 months ago
Conflict Modelling and Instruction Scheduling in Code Generation for In-House DSP Cores
Application domain specific DSP cores are becoming increasingly popular due to their advantageous trade–off between flexibility and cost. However, existing code generation metho...
Adwin H. Timmer, Marino T. J. Strik, Jef L. van Me...