Sciweavers

13306 search results - page 372 / 2662
» Theoretical Computer Science
Sort
View
GI
1995
Springer
15 years 10 months ago
A Comparison of C++, FORTRAN 90 and Oberon-2 for Scientific Programming
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. This invites to reflect upon the suitability ofthese modern programming...
Bernd Mösli
ACMSE
2009
ACM
16 years 1 months ago
The teaching of immunology using educational: gaming paradigms
Educational gaming is an exciting genre of computer programming that attempts to find interesting and compelling ways to teach while also being fun. Research has been conducted to...
Patrick Clements, Jeremy Pesner, Jeremiah Shepherd
SPIN
2007
Springer
16 years 27 days ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
GI
2004
Springer
16 years 5 days ago
Consistent Context Management in Mobile Ad Hoc Networks
: John entered his office. John left his office. The order of these updates to a context-aware system is important to reflect the state in the real world. Context information ob...
Jörg Hähner, Christian Becker, Pedro Jos...
STACS
1999
Springer
15 years 11 months ago
An Optimal Competitive Strategy for Walking in Streets
We present an optimal strategy for searching for a goal in a street which achieves the competitive factor of √ 2, thus matching the best lower bound known before. This finally ...
Christian Icking, Rolf Klein, Elmar Langetepe