3388 search results - page 411 / 678 » Type-theoretic design patterns |
189
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
147
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...
209
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We discuss a ZMP-based running pattern generation for a biped robot equipped with toe springs. Our biped robot HRP-2LT has twelve active DoFs for its legs and two passi...
172
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we describe a sequential simulation method to simulate large parallel homo- and heterogeneous systems on a single FPGA. The method is applicable for parallel systems...
174
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...