5506 search results - page 273 / 1102 » Minimal Logic Programs |
112
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
127
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Multiple supply voltage (MSV) is one of the most effective schemes to achieve low power, but most works are based on logic level. A few recent works are based on physical level but...
143
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
136
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Using the well-known ATLAS and LAPACK dense linear algebra libraries, we demonstrate that the parallel management overhead (PMO) can grow with problem size on even statically sc...
118
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
—We investigate the problem of minimizing the overall transmission delay of data packets in a single-user wireless communication system, where the transmitter has a fixed amount...