27827 search results - page 475 / 5566 » Generating |
107
click to vote
ISSAC
2007
Springer
15 years 11 months ago
2007
Springer
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
142
click to vote
MHCI
2007
Springer
15 years 11 months ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
138
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
108
click to vote
SAMOS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we describe an efficient data fetch circuitry for retrieving several operands from a n-bank interleaved memory system in a single machine cycle. The proposed address ...
153
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...