1054 search results - page 129 / 211 » Guarded Expressions in Practice |
153
click to vote
ICCAD
2004
IEEE
16 years 2 months ago
2004
IEEE
Closed formed expressions for buffered interconnect delay approximation have been around for some time. However, previous approaches assume that buffers are free to be placed anyw...
156
click to vote
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
162
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
147
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
162
click to vote
SIGCSE
2010
ACM
16 years 25 days ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...