267 search results - page 1 / 54 » LibGALS: a library for GALS systems design and modeling |
ASPDAC
2010
ACM
13 years 7 months ago
2010
ACM
DATE
2005
IEEE
14 years 3 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 10 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
14 years 4 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
14 years 3 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 ...