4378 search results - page 788 / 876 » On the Complexity of Ordered Colourings |
160
click to vote
LCTRTS
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
185
click to vote
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
188
click to vote
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
179
click to vote
ROBOCUP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
175
click to vote
SACRYPT
2007
Springer
16 years 14 days ago
2007
Springer
Cache attacks on implementations of cryptographic algorithms have turned out to be very powerful. Progress in processor design, e.g., like hyperthreading, requires to adapt models ...