3736 search results - page 680 / 748 » Generative Programming |
MEMOCODE
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
129
click to vote
MABS
2005
Springer
15 years 7 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
108
Voted
SCOPES
2005
Springer
15 years 7 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
108
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
115
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
: The next generation of scientific experiments and studies, popularly called as e-Science, is carried out by large collaborations of researchers distributed around the world engag...