1973 search results - page 288 / 395 » The Construction of Ludic Space |
172
click to vote
APSEC
2007
IEEE
16 years 21 days ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
148
click to vote
ASWEC
2007
IEEE
16 years 21 days ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
202
click to vote
FDL
2007
IEEE
16 years 20 days ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
142
click to vote
FOCS
2007
IEEE
16 years 20 days ago
2007
IEEE
We show that any k-wise independent probability distribution on {0, 1}n O(m2.22− √ k/10)fools any boolean function computable by an m-clause DNF (or CNF) formula on n variable...
172
click to vote
IEEEPACT
2007
IEEE
16 years 20 days ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...