Sciweavers

4434 search results - page 392 / 887
» On the Composition of Hybrid Systems
Sort
View
WSC
2008
15 years 9 months ago
Enhanced Bandwidth-Delay Based Routing Algorithm for a packet-switched virtual call centre environment
Traditionally call centres were based on circuit-switched systems. But with the advancement of communication technologies, call centres have shifted to packet-switched systems. Th...
Akinbola Adetunji, Hadi Larijani
IJRR
2011
123views more  IJRR 2011»
15 years 1 months ago
Stable dynamic walking over uneven terrain
We propose a constructive control design for stabilization of non-periodic trajectories of underactuated robots. An important example of such a system is an underactuated “dynam...
Ian R. Manchester, Uwe Mettin, Fumiya Iida, Russ T...
ICFP
2007
ACM
16 years 6 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott
ICPP
2009
IEEE
16 years 1 months ago
End-to-End Study of Parallel Volume Rendering on the IBM Blue Gene/P
—In addition to their role as simulation engines, modern supercomputers can be harnessed for scientific visualization. Their extensive concurrency, parallel storage systems, and...
Tom Peterka, Hongfeng Yu, Robert B. Ross, Kwan-Liu...
REFSQ
2009
Springer
16 years 1 months ago
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yv...