2634 search results - page 18 / 527 » Faster Than Uppaal |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we present a methodology that is based on SystemC [1] for rapid prototyping to greatly enhance and accelerate the exploration of complex systems to optimize the syst...
ISPD
1997
ACM
13 years 11 months ago
1997
ACM
A linear wirelength objective more e ectively captures timing, congestion, and other global placement considerations than a squared wirelength objective. The GORDIAN-L cell placem...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The repeatability and efficiency of a corner detector determines how likely it is to be useful in a real-world application. The repeatability is importand because the same scene vi...
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
A significant body of work in multiagent systems over more than two decades has focused on multi-agent coordination (1). Many challenges in multi-agent coordination can be modeled ...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...