1497 search results - page 252 / 300 » Extended static checking |
97
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Recently there has been considerable interest in incorporating timing effects of microarchitectural features of processors (e.g. caches and pipelines) into the schedulability anal...
102
Voted
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we present the Collaborative Routing Architecture (CRA), a routing architecture specially designed to achieve high efficiency in hardware and competitive delay p...
106
click to vote
SEUS
2007
IEEE
15 years 7 months ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
100
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Optimal resource scheduling in multiagent systems is a computationally challenging task, particularly when the values of resources are not additive. We consider the combinatorial ...
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
One of the most crucial criterion in automated negotiation is how to reach a consensus agreement for all negotiators under any negotiation environment. Currently, most negotiation...