2752 search results - page 15 / 551 » Rounding to an Integral Program |
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Computing a minimum vertex cover in graphs and hypergraphs is a well-studied optimizaton problem. While intractable in general, it is well known that on bipartite graphs, vertex c...
QNS
1996
13 years 10 months ago
1996
Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental
oating point facilities of the...
ISPD
2012
ACM
12 years 4 months ago
2012
ACM
In this paper, we propose a new approach for gated bus synthesis [16] with minimum wire capacitance per transaction in three-dimensional (3D) ICs. The 3D IC technology connects di...
ECOOP
2001
Springer
14 years 1 months ago
2001
Springer
