Sciweavers

2370 search results - page 251 / 474
» On the Revival of Dynamic Languages
Sort
View
LICS
2009
IEEE
16 years 1 months ago
An Algebra for Kripke Polynomial Coalgebras
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...
FDL
2008
IEEE
16 years 1 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
16 years 1 months ago
Orchestrating concurrency in robot swarms
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
Anthony Cowley, Camillo J. Taylor
SMALLTALK
2007
Springer
16 years 1 months ago
Bridging the gap between morphic visual programming and smalltalk code
In this paper, we claim that both prototype-based visual programming and traditional Smalltalk class-based programming are required for developing applications with a GUI. We intro...
Noury Bouraqadi, Serge Stinckwich
ERLANG
2006
ACM
16 years 1 months ago
Evaluation of database management systems for Erlang
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
Emil Hellman