6740 search results - page 1320 / 1348 » Using Classification as a Programming Language |
ICFCA
2004
Springer
15 years 3 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
PLDI
2009
ACM
15 years 2 months ago
2009
ACM
More and more server workloads are becoming Web-based. In these Web-based workloads, most of the memory objects are used only during one transaction. We study the effect of the me...
DAC
1998
ACM
15 years 1 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
CCS
2007
ACM
15 years 1 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...