7892 search results - page 295 / 1579 » Programming with Models |
91
Voted
SENSYS
2006
ACM
15 years 7 months ago
2006
ACM
Event-driven programming is a popular model for writing programs for tiny embedded systems and sensor network nodes. While event-driven programming can keep the memory overhead do...
121
click to vote
HIPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
155
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
106
Voted
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
100
click to vote
ACSD
2009
IEEE
15 years 8 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...