2520 search results - page 262 / 504 » Model-checking behavioral programs |
170
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Procedure Positioning is a well known compiler optimization aiming at the improvement of the instruction cache behavior. A contiguous mapping of procedures calling each other freq...
157
click to vote
ANSS
2006
IEEE
16 years 21 days ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...
179
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
158
click to vote
WRAC
2005
Springer
16 years 3 days ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
152
click to vote
IFIP
2004
Springer
16 years 7 hour ago
2004
Springer
Wireless network research still lacks methods to integratively evaluate the performance that can be expected from application layer protocols. The user behavior is predominantly a...