5350 search results - page 209 / 1070 » Space and time in eco-ontologies |
214
click to vote
VIS
2008
IEEE
16 years 7 months ago
2008
IEEE
The ability to identify and present the most essential aspects of time-varying data is critically important in many areas of science and engineering. This paper introduces an impor...
154
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
183
click to vote
IWOMP
2009
Springer
16 years 1 months ago
2009
Springer
The UTS benchmark is used to evaluate task parallelism in OpenMP 3.0 as implemented in a number of recently released compilers and run-time systems. UTS performs parallel search of...
182
click to vote
RTSS
2008
IEEE
16 years 29 days ago
2008
IEEE
—Wormhole switching with fixed priority preemption has been proposed as a possible solution for real-time on-chip communication. However, none of current priority assignment pol...
209
click to vote
ADAEUROPE
2007
Springer
16 years 23 days ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...