5090 search results - page 608 / 1018 » Constructing Strategies for Programming |
210
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
183
click to vote
DBPL
1999
Springer
15 years 11 months ago
1999
Springer
Construction of complex software systems with largely off-the-shelf components has become a reality with the wide availability and acceptance of component frameworks and distribut...
301
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
198
click to vote
RAID
1999
Springer
15 years 11 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...
200
click to vote
APPROX
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We study the fundamental problem of computing an arbitrary Nash equilibrium in bimatrix games. We start by proposing a novel characterization of the set of Nash equilibri...