452 search results - page 75 / 91 » Symbolic Execution of Behavioral Requirements |
121
click to vote
DOCENG
2011
ACM
13 years 10 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
108
click to vote
CF
2006
ACM
15 years 4 months ago
2006
ACM
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...
ASPLOS
1998
ACM
15 years 3 months ago
1998
ACM
Optimizations aimed at reducing the impact of memory operations on execution speed have long concentrated on improving cache performance. These efforts achieve a reasonable level...
122
click to vote
ICCD
2008
IEEE
15 years 7 months ago
2008
IEEE
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...