2253 search results - page 281 / 451 » An Approach to Specifying Software Frameworks |
142
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
145
click to vote
DSD
2008
IEEE
15 years 11 months ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
147
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Chip-multiprocessors are quickly becoming popular in embedded systems. However, the practical success of CMPs strongly depends on addressing the difficulty of multithreaded appli...
130
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
121
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Legitimacy is a key part of the social requirements specification for a trusted virtual community environment (VCE). If an environment is not seen as legitimate, social conflicts m...