Sciweavers

3432 search results - page 261 / 687
» Language as a Complex Adaptive System
Sort
View
POPL
2005
ACM
16 years 5 months ago
Associated types with class
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
IDMS
1997
Springer
188views Multimedia» more  IDMS 1997»
15 years 8 months ago
An Approach for an Adaptive Visualization in a Mobile Environment
With the evolving availability of wireless communication servicesand of affordable mobile devices such as notebooks or Personal Digital Assistants, mobile computing is becoming wid...
Luc Neumann, Alberto Barbosa Raposo
FLAIRS
2006
15 years 6 months ago
Robot Navigation Using Integrated Retrieval of Behaviors and Routes
RUPART1 is a hybrid robot control system for navigating a real-world, academic building. Hybrid robot control systems provide robust low-level navigation together with strategic p...
Susan Eileen Fox, Peter Anderson-Sprecher
133
Voted
DAGSTUHL
2003
15 years 6 months ago
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...
David Harel, Hillel Kugler, Gera Weiss
158
Voted
TOCS
2008
154views more  TOCS 2008»
15 years 4 months ago
Adaptive work-stealing with parallelism feedback
We present an adaptive work-stealing thread scheduler, ASTEAL, for fork-join multithreaded jobs, like those written using the Cilk multithreaded language or the Hood work-stealing...
Kunal Agrawal, Charles E. Leiserson, Yuxiong He, W...