267 search results - page 1 / 54 » LibGALS: a library for GALS systems design and modeling |
ASPDAC
2010
ACM
13 years 3 months ago
2010
ACM
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
CL
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
CAV
2009
Springer
13 years 11 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
ISLPED
2005
ACM
13 years 10 months ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...