8671 search results - page 255 / 1735 » A generator for hierarchical problems |
134
click to vote
ISSAC
2007
Springer
16 years 23 days ago
2007
Springer
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
170
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
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...
168
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
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...
173
click to vote
ICCSA
2005
Springer
16 years 4 days ago
2005
Springer
Symmetries are not only fascinating, but they can also be exploited when designing numerical algorithms and data structures for scientific engineering problems in symmetrical doma...
165
click to vote
FATES
2004
Springer
16 years 5 hour ago
2004
Springer
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...