1469 search results - page 264 / 294 » Structural aspects of tilings |
CHI
2002
ACM
15 years 11 months ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
167
click to vote
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...
108
Voted
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
100
Voted
ICCD
2003
IEEE
15 years 8 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...