4520 search results - page 643 / 904 » Algebraic Techniques for Timed Systems |
180
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
202
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
172
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
146
Voted
LCPC
2005
Springer
16 years 6 days ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
156
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...