6274 search results - page 611 / 1255 » Proofs, Programs, Processes |
171
click to vote
ARC
2009
Springer
16 years 2 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
174
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
176
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
180
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
187
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...