4695 search results - page 562 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
203
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
207
click to vote
CDVE
2007
Springer
16 years 1 months ago
2007
Springer
Organizations are under increasing pressures to manage all of the personal data concerning their customers and employees in a responsible manner. With the advancement of informatio...
173
click to vote
SIGMETRICS
1999
ACM
15 years 12 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...
196
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Good data layouts improve cache and TLB performance of object-oriented software, but unfortunately, selecting an optimal data layout a priori is NP-hard. This paper introduces layo...
164
click to vote
AAAI
2010
15 years 9 months ago
2010
In cooperative pathfinding problems, non-interfering paths that bring each agent from its current state to its goal state must be planned for multiple agents. We present the first...