2721 search results - page 375 / 545 » An experimental analysis of Lemke-Howson algorithm |
168
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
208
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Embedded memories are among the most widely used cores in current system-on-chip (SOC) implementations. Memory cores usually occupy a significant portion of the chip area, and do...
199
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
182
click to vote
SODA
1997
ACM
15 years 7 months ago
1997
ACM
Given a collection S of n line segments in the plane, the planar point location problem is to construct a data structure that can e ciently determine for a given query point p the...
161
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...